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