1
出版 2014
書本目錄: ... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...
獲取全文
電子 電子書
2
出版 2005
書本目錄: ... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...
獲取全文
電子 電子書
3
出版 2010
書本目錄: ..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...
獲取全文
電子 電子書
4
出版 2014
書本目錄: ... -- Formal Refinement in SysML -- Verifying Modal Workflow Specifications Using Constraint Solving.-Proofs...
獲取全文
電子 電子書
5
出版 2010
書本目錄: ... -- Generalizing Itemset Mining in a Constraint Programming Setting -- From Local Patterns to Classification Models...
獲取全文
電子 電子書
6
出版 2007
書本目錄: ... with a Low-Level Hybridization of Ants and Constraint Programming -- Profitability Comparison Between Gas...
獲取全文
電子 電子書
7
出版 2006
書本目錄: ... Programming -- Solving First-Order Constraints in the Theory of the Evaluated Trees -- Relaxation...
獲取全文
電子 電子書
8
出版 2005
書本目錄: ...) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions...
獲取全文
電子 電子書
9
出版 2014
書本目錄: ... of Adaptive Genetic Algorithms -- Use of Ant Colony System in Solving Vehicle Routing Problem with Time Window...
獲取全文
電子 電子書
10
Hooker, John N., Hooker, John N.
出版 2007
書本目錄: ...Preface -- Introduction -- Search -- The solution process -- Branching search -- Constraint...
獲取全文
電子 電子書
11
出版 2006
書本目錄: ...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...
獲取全文
電子 電子書
12
出版 2010
書本目錄: ... Random Goal Constraints for Stochastic Fuzzy Goal Programming -- Logical Approaches to Uncertainty...
獲取全文
電子 電子書
13
出版 2006
書本目錄: ...-Library for C++ -- Constraint Solving for Sequences in Software Validation and Verification -- Using a...
獲取全文
電子 電子書
14
出版 2005
書本目錄: ... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...
獲取全文
電子 電子書
15
出版 2005
書本目錄: ... -- Solving CSP by Lagrangian Method with Importance of Constraints -- Component Retrieval Using...
獲取全文
電子 電子書
16
出版 2005
書本目錄: ... -- The nomore?+?+ Approach to Answer Set Solving -- Optimizing the Runtime Processing of Types in Polymorphic...
獲取全文
電子 電子書
17
出版 2007
書本目錄: ... Soft Tissue Segmentation -- Shape Regression Machine -- Active Mean Fields: Solving the Mean Field...
獲取全文
電子 電子書
18
出版 2013
書本目錄: ...Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due...
獲取全文
電子 電子書
19
出版 2014
書本目錄: ... Techniques -- Circle of Trust - One-Hop Trust Based Security Paradigm for Resource Constraint MANET -- Design...
獲取全文
電子 電子書
20
出版 2013
書本目錄: ... Preserving Interpolation -- Asynchronous Multi-core Incremental SAT Solving -- Model-Checking Iterated Games...
獲取全文
電子 電子書