Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming constraints » programming constraint, programming constrained, programming constructs
programming programming » programming programmed, programming program
interaction constraint » interaction constraints, interactions constraints, interactive constraint
constraints https » constraints haptic, constraints data, constraints chap
programming constraints » programming constraint, programming constrained, programming constructs
programming programming » programming programmed, programming program
interaction constraint » interaction constraints, interactions constraints, interactive constraint
constraints https » constraints haptic, constraints data, constraints chap
1
Publicado 2014
Table of Contents:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2006
Table of Contents:
“... -- Algorithms and Constraint Programming -- Interval Analysis and Robotics -- Constraint Based Resilience...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2005
Table of Contents:
“... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2014
Table of Contents:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2007
Table of Contents:
“... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2008
Table of Contents:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2012
Table of Contents:
“... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2005
Table of Contents:
“...: A Practical Solution Incorporating Constraint Programming and Heuristics -- An Interactive Tool...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2013
Table of Contents:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2015
Table of Contents:
“... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...”Ligazón do recurso
Electrónico
eBook
16
Table of Contents:
“... Multiobjective Stochastic Programming -- Chapter 4. Multiobjective Fuzzy Random Programming -- Chapter 5...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
17
Publicado 2013
Table of Contents:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2005
Table of Contents:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2007
Table of Contents:
“...From Hilbert’s Program to a Logic Toolbox -- On the Notion of Vacuous Truth -- Whatever Happened...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2006
Table of Contents:
“... for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic...”Ligazón do recurso
Electrónico
eBook