1
Publicado em 2014
Sumário: ... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ... with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2008
Sumário: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2007
Sumário: ... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2013
Sumário: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2012
Assuntos: ...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2006
Sumário: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2008
Sumário: ... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2012
Sumário: ... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2013
Sumário: ... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2015
Sumário: ... for Inference in Probabilistic Logic Programming -- Multi-Level Algorithm Selection for ASP -- Clause-Learning...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2006
Sumário: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2005
Sumário: .... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2005
Sumário: ... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Por Hooker, John N., Hooker, John N.
Publicado em 2012
Sumário: ... -- Dictionary of Constraints.     ....
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2010
Sumário: ... Random Goal Constraints for Stochastic Fuzzy Goal Programming -- Logical Approaches to Uncertainty...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Sumário: ...PART A: INTRODUCTION. Prologue -- 1 -- Professional Learning at Work -- 1.1 Genesis of the Research...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2010
Sumário: ... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2005
Sumário: ... Learning -- Robust Bayesian Linear Classifier Ensembles -- An Integrated Approach to Learning Bayesian...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2006
Sumário: ... Learning Revisited -- Reinforcement Learning for MDPs with Constraints -- Efficient Non-linear Control...
Obter o texto integral
Recurso Electrónico livro electrónico