Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming problem » programming problems
programming programming » programming programmed, programming program
enumerating constraint » enumerating constrained, integrating constraint, integrating constraints
programming problem » programming problems
1
Published 2014
Table of Contents:
“... the Quorumcast Routing Problem as a Mixed Integer Program -- A New MIP Model for Parallel-Batch Scheduling...”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 2007
Table of Contents:
“... Finite Domains -- Conflict-Driven Answer Set Enumeration -- Head-Elementary-Set-Free Logic Programs -- A...”View full text
Electronic
eBook
4
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
5
Published 2010
Table of Contents:
“... for Graph Diameter Decreasing Problems -- Distance Constraint Satisfaction Problems -- Faster Algorithms...”View full text
Electronic
eBook
6
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
7
Published 2008
Table of Contents:
“... Constraints -- First-Order Model Checking Problems Parameterized by the Model -- Domain Theory and the Causal...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... about Resources -- Constraint Solving for Program Verification: Theory and Practice by Example...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Problems in Expected Polynomial Time: An Enumeration Approach -- A Scalable Algorithm for Graph-Based...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Frequency Computations with Three Errors -- A Sublinear Time Randomized Algorithm for Coset Enumeration...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“...Invited Talks -- Towards a Distributed Search Engine -- Mechanisms for the Marriage...”View full text
Electronic
eBook
12
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
13
Published 2008
Table of Contents:
“... of Candidate Control in Elections and Related Digraph Problems -- A Parameterized Perspective on Packing Paths...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... -- On Degree Constrained Shortest Paths -- A New Template for Solving p-Median Problems for Trees in Sub...”View full text
Electronic
eBook
15
Published 2014
Table of Contents:
“... -- Answer-Set Programming A Complexity Assessment for Queries Involving Sufficient and Necessary Causes...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”View full text
Electronic
eBook
17
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
18
Published 2006
Table of Contents:
“... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Isomorphism Tests -- Enumerating All Solutions for Constraint Satisfaction Problems....”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Group Problems -- Canonical Decomposition of a Regular Factorial Language -- Acyclic Bidirected and Skew...”View full text
Electronic
eBook