1
Được phát hành 2014
Mục lục: ... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...
lấy văn bản
Điện tử eBook
2
Được phát hành 2010
Mục lục: ... with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning...
lấy văn bản
Điện tử eBook
3
Được phát hành 2008
Mục lục: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
lấy văn bản
Điện tử eBook
4
Được phát hành 2007
Mục lục: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
lấy văn bản
Điện tử eBook
5
Được phát hành 2013
Mục lục: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
lấy văn bản
Điện tử eBook
6
Được phát hành 2012
Những chủ đề: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
lấy văn bản
Điện tử eBook
7
Được phát hành 2006
Mục lục: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
lấy văn bản
Điện tử eBook
8
Được phát hành 2008
Mục lục: ... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...
lấy văn bản
Điện tử eBook
9
Được phát hành 2012
Mục lục: ... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...
lấy văn bản
Điện tử eBook
10
Được phát hành 2013
Mục lục: ... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...
lấy văn bản
Điện tử eBook
11
Được phát hành 2015
Mục lục: ... for Inference in Probabilistic Logic Programming -- Multi-Level Algorithm Selection for ASP -- Clause-Learning...
lấy văn bản
Điện tử eBook
12
Được phát hành 2005
Mục lục: .... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...
lấy văn bản
Điện tử eBook
13
Được phát hành 2005
Mục lục: ... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...
lấy văn bản
Điện tử eBook
14
Được phát hành 2006
Mục lục: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
lấy văn bản
Điện tử eBook
15
Bằng Hooker, John N., Hooker, John N.
Được phát hành 2012
Mục lục: ... -- Dictionary of Constraints.     ....
lấy văn bản
Điện tử eBook
16
Được phát hành 2010
Mục lục: ... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...
lấy văn bản
Điện tử eBook
17
Được phát hành 2010
Mục lục: ... Random Goal Constraints for Stochastic Fuzzy Goal Programming -- Logical Approaches to Uncertainty...
lấy văn bản
Điện tử eBook
18
Bằng Webster-Wright, Ann., Webster-Wright, Ann.
Được phát hành 2010
Mục lục: ...PART A: INTRODUCTION. Prologue -- 1 -- Professional Learning at Work -- 1.1 Genesis of the Research...
lấy văn bản
Điện tử eBook
19
Được phát hành 2005
Mục lục: ... Learning -- Robust Bayesian Linear Classifier Ensembles -- An Integrated Approach to Learning Bayesian...
lấy văn bản
Điện tử eBook
20
Được phát hành 2010
Mục lục: ... -- On the Robustness for the Choquet Integral -- Explicit Descriptions of Bisymmetric Sugeno Integrals -- Learning...
lấy văn bản
Điện tử eBook