Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
programming programmed » processing programmed
programmed constraint » programming constraint, programming constraints, programme contract
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
Obálka
Vydáno 2014
Obsah: “...-Criteria Decision Making .-Interval Linear Programming Techniques in Constraint Programming and Global...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
2
Obálka
Vydáno 2014
Obsah: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
3
Obálka
Vydáno 2012
Témata: “...Operations Research/Decision Theory. https://scigraph.springernature.com/ontologies/product-market...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
4
Obálka
Vydáno 2011
Témata: “...Operations Research/Decision Theory. https://scigraph.springernature.com/ontologies/product-market...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
5
Obálka
Vydáno 2008
Obsah: “... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
6
Obálka
Vydáno 2006
Obsah: “... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
7
Obálka
Vydáno 2007
Obsah: “... Binary Decision Diagrams for 0-1 Programming -- YIELDS: A Yet Improved Limited Discrepancy Search...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
8
Obálka
Vydáno 2005
Obsah: “... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
9
Obálka
Vydáno 2007
Obsah: “... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
10
Obálka
Vydáno 2013
Obsah: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
11
Obálka
Vydáno 2011
Obsah: “...: Integrating Stochastic Programs and Policy Simulators -- Growth-Security Models and Stochastic Dominance...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
12
Obálka
Vydáno 2007
Obsah: “... Databases Under Three-Valued Semantics -- Logic Programming Approach to Automata-Based Decision Procedures...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
13
Obálka
Vydáno 2005
Obsah: “...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
14
Obálka
Vydáno 2012
Obsah: “... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
15
Obálka
Vydáno 2013
Obsah: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
16
Obálka
Vydáno 2015
Obsah: “...Invited Talk: Stable Models for Temporal Theories -- Invited Talk: Algorithmic Decision Theory...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
17
Obálka
Vydáno 2005
Obsah: “... -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
18
Obálka
Vydáno 2005
Obsah: “...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
19
Obálka
Vydáno 2005
Obsah: “... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
20
Obálka
Autor Hooker, John N., Hooker, John N.
Vydáno 2007
Obsah: “...Preface -- Introduction -- Search -- The solution process -- Branching search -- Constraint...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat emailem — Uložit hledání