Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
interactive applications » internet applications, enterprise applications, quantitative applications
applications programming » application programming, application program, applications proceedings
programming program » programming programmed, programming problem, programming problems
program constraints » programs constraints, progress constraints, problem constraints
constraints https » constraints haptic, constraints data, constraints chap
interactive applications » internet applications, enterprise applications, quantitative applications
applications programming » application programming, application program, applications proceedings
programming program » programming programmed, programming problem, programming problems
program constraints » programs constraints, progress constraints, problem constraints
constraints https » constraints haptic, constraints data, constraints chap
1
Published 2014
Table of Contents:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...) -- Constraint Applications -- Playing the Minesweeper with Constraints -- Using Constraint Programming...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Types -- Extensional Rewriting with Sums -- Higher-Order Logic Programming Languages with Constraints: A...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... for Interactive Applications -- Type Theory -- Variance and Generalized Constraints for C Generics -- A Semantic...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... in Cognitive Systems Architectures -- Full Papers -- Application of Naturalistic Decision Making to Emergency...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”View full text
Electronic
eBook