1
出版 2014
书本目录: ... -- Continuous If-Then Statements Are Computable -- Linear programming with Interval Type-2 fuzzy constraints...
获取全文
电子 电子书
2
出版 2005
书本目录: ... Programming with Branch and Price -- A Search-Infer-and-Relax Framework for Integrating Solution Methods...
获取全文
电子 电子书
3
出版 2010
书本目录: ... with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning...
获取全文
电子 电子书
4
出版 2008
书本目录: ... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...
获取全文
电子 电子书
5
出版 2012
主题: ...Computer science—Mathematics....
获取全文
电子 电子书
6
出版 2007
书本目录: ... for CSPs -- A Global Constraint for Total Weighted Completion Time -- Computing Tight Time Windows...
获取全文
电子 电子书
7
出版 2014
书本目录: ... Transport Systems -- Modeling UML Template Classes with FoCaLiZe -- Integrating Event-B Modelling...
获取全文
电子 电子书
8
出版 2007
书本目录: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
获取全文
电子 电子书
9
出版 2006
书本目录: ...Invited Talk 1 -- Type Processing by Constraint Reasoning -- Session 1 -- Principal Type Inference...
获取全文
电子 电子书
10
出版 2008
书本目录: ... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...
获取全文
电子 电子书
11
Hooker, John N., Hooker, John N.
出版 2007
书本目录: ...Preface -- Introduction -- Search -- The solution process -- Branching search -- Constraint...
获取全文
电子 电子书
12
出版 2005
书本目录: ... -- Disjoint Cycles: Integrality Gap, Hardness, and Approximation -- A Combinatorial Algorithm to Find a...
获取全文
电子 电子书
13
Hooker, John N., Hooker, John N.
出版 2012
书本目录: ... -- Dictionary of Constraints.     ....
获取全文
电子 电子书
14
出版 2012
书本目录: ... Security Constraints -- Customizing protocol specifications for detecting resource exhaustion and guessing...
获取全文
电子 电子书
15
出版 2006
书本目录: ...: OpenOffice Spreadsheet Front-End for Constraint Programming -- Overload Checking for the Cumulative...
获取全文
电子 电子书
16
出版 2012
书本目录: ... Logic Programs.- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints...
获取全文
电子 电子书
17
出版 2006
书本目录: ...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...
获取全文
电子 电子书
18
出版 2005
书本目录: ... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...
获取全文
电子 电子书
19
出版 2005
书本目录: .... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...
获取全文
电子 电子书
20
出版 2005
书本目录: ... Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations...
获取全文
电子 电子书