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