Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
interactive computing » interactive computer
computing programming » computer programming, computers programming
programming program » programming programmed, programming problem, programming problems
program constraint » programs constraints, problem constraint, diagram constraint
constraint https » constraint atoms, constraint graphs, constraint codes
interactive computing » interactive computer
computing programming » computer programming, computers programming
programming program » programming programmed, programming problem, programming problems
program constraint » programs constraints, problem constraint, diagram constraint
constraint https » constraint atoms, constraint graphs, constraint codes
1
Argitaratua 2014
Aurkibidea:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2013
Aurkibidea:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2006
Aurkibidea:
“... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2008
Aurkibidea:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2005
Aurkibidea:
“... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2008
Aurkibidea:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2015
Aurkibidea:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2014
Aurkibidea:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2007
Aurkibidea:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2010
Aurkibidea:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2008
Aurkibidea:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2005
Aurkibidea:
“...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2015
Aurkibidea:
“... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2013
Aurkibidea:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2012
Aurkibidea:
“... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2006
Aurkibidea:
“... for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2013
Aurkibidea:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2005
Aurkibidea:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2007
Aurkibidea:
“...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...”Testu osoa
Baliabide elektronikoa
eBook
20
Aurkibidea:
“... Multiobjective Stochastic Programming -- Chapter 4. Multiobjective Fuzzy Random Programming -- Chapter 5...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook