Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming program » programming programmed, programming problem, programming problems
program a » program _
programming programming » programming programmed
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming program » programming programmed, programming problem, programming problems
program a » program _
1
Published 2014
Table of Contents:
“... -- Constrained Clustering Using Column Generation -- A Constraint Programming-Based Column Generation Approach...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Constraint Using Linear Programming -- Sweeping with Continuous Domains -- A New Hybrid Tractable Class...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... Schemas in Data Synchronization -- Efficiently Enumerating Results of Keyword Search -- Mapping...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Finite Domains -- Conflict-Driven Answer Set Enumeration -- Head-Elementary-Set-Free Logic Programs -- A...”View full text
Electronic
eBook
5
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... -- Enumeration of the Monomials of a Polynomial and Related Complexity Classes -- Faster Approximation Schemes...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... about Resources -- Constraint Solving for Program Verification: Theory and Practice by Example...”View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“...Deterministic Graphical Games Revisited -- Program Schemes with Deep Pushdown Storage -- Herbrand...”View full text
Electronic
eBook
9
Published 2013
Table of Contents:
“...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... -- Answer-Set Programming A Complexity Assessment for Queries Involving Sufficient and Necessary Causes...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... -- Visiting a Polygon on the Optimal Way to a Query Point -- Constraint Abstraction in Verification...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Frequency Computations with Three Errors -- A Sublinear Time Randomized Algorithm for Coset Enumeration...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“...Invited Talks -- Towards a Distributed Search Engine -- Mechanisms for the Marriage...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... by Integer Linear Programming -- An Efficient Lagrangian Relaxation for the Contact Map Overlap Problem -- A...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... -- Automatic Generation of Symmetry-Breaking Constraints -- On the Stable Set Polytope of Claw-Free Graphs -- A...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... View Maintenance Under a Response-Time Constraint -- Online Primal-Dual Algorithms for Covering...”View full text
Electronic
eBook
18
Table of Contents:
“...Fundamentals -- From Autonomy to AOC -- AOC at a Glance -- Design and Engineering Issues -- A...”
View full text
View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Proofs: Why Do It? and What Is It Like to Do? -- Linear Programs for the Kepler Conjecture -- A Formal...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“...-Generated Small Category -- Codes over a Non Chain Ring with Some Applications -- On the Weight Enumerators...”View full text
Electronic
eBook