Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
decision programming » revision programming, design programming, edition programming
integrated decision » integrated design, integrated vision, integrated education
programming program » programming programmed, programming problem, programming problems
program constraint » programs constraints, problem constraint, diagram constraint
constraint https » constraint atoms, constraint graphs, constraint codes
decision programming » revision programming, design programming, edition programming
integrated decision » integrated design, integrated vision, integrated education
programming program » programming programmed, programming problem, programming problems
program constraint » programs constraints, problem constraint, diagram constraint
constraint https » constraint atoms, constraint graphs, constraint codes
1
Published 2014
Table of Contents:
“...-Criteria Decision Making .-Interval Linear Programming Techniques in Constraint Programming and Global...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”View full text
Electronic
eBook
3
Published 2012
Subjects:
“...Operations Research/Decision Theory. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
4
Published 2011
Subjects:
“...Operations Research/Decision Theory. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Binary Decision Diagrams for 0-1 Programming -- YIELDS: A Yet Improved Limited Discrepancy Search...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
11
Published 2011
Table of Contents:
“...: Integrating Stochastic Programs and Policy Simulators -- Growth-Security Models and Stochastic Dominance...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“...Invited Talk: Stable Models for Temporal Theories -- Invited Talk: Algorithmic Decision Theory...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“... -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”View full text
Electronic
eBook
20
Table of Contents:
“...Preface -- Introduction -- Search -- The solution process -- Branching search -- Constraint...”
View full text
View full text
Electronic
eBook