檢索結果 - enumerating constraint programming programming problem

1

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings /

出版 2014

書本目錄: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
獲取全文

電子電子書

2

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

出版 2010

書本目錄: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
獲取全文

電子電子書

3

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings /

出版 2007

書本目錄: “... Finite Domains -- Conflict-Driven Answer Set Enumeration -- Head-Elementary-Set-Free Logic Programs -- A...”
獲取全文

電子電子書

4

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

出版 2013

書本目錄: “... of the Typed Atomic Lambda-Calculus -- Relaxing Synchronization Constraints in Behavioral Programs...”
獲取全文

電子電子書

5

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010, Proceedings /

出版 2010

書本目錄: “... for Graph Diameter Decreasing Problems -- Distance Constraint Satisfaction Problems -- Faster Algorithms...”
獲取全文

電子電子書

6

Autonomy Oriented Computing From Problem Solving to Complex Systems Modeling /

由 Liu, Jiming., Liu, Jiming., Jin, XiaoLong., Tsui, Kwok Ching.
出版 2005

書本目錄: “... Formal Framework of AOC -- AOC in Depth -- AOC in Constraint Satisfaction -- AOC in Complex Systems...”
獲取全文

電子電子書

7

Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008 Athens, Greece, June 15-20, 2008, Proceedings /

出版 2008

書本目錄: “... Constraints -- First-Order Model Checking Problems Parameterized by the Model -- Domain Theory and the Causal...”
獲取全文

電子電子書

8

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings /

出版 2010

書本目錄: “... about Resources -- Constraint Solving for Program Verification: Theory and Practice by Example...”
獲取全文

電子電子書

9

Frontiers in Algorithmics Second International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceedings /

出版 2008

書本目錄: “... Problems in Expected Polynomial Time: An Enumeration Approach -- A Scalable Algorithm for Graph-Based...”
獲取全文

電子電子書

10

Computing and Combinatorics 14th International Conference, COCOON 2008 Dalian, China, June 27-29, 2008, Proceedings /

出版 2008

書本目錄: “... Are Difficult to Repair -- Isoperimetric Problem and Meta-fibonacci Sequences -- Algorithmic Game Theory...”
獲取全文

電子電子書

11

Algorithms and Complexity 7th International Conference, CIAC 2010, Rome, Italy, May 26-28, 2010, Proceedings /

出版 2010

書本目錄: “... Algorithm for Connected Red-Blue Dominating Set -- Maximizing PageRank with New Backlinks -- Enumerating...”
獲取全文

電子電子書

12

Algorithms in Bioinformatics 8th International Workshop, WABI 2008, Karlsruhe, Germany, September 15-19, 2008, Proceedings /

出版 2008

書本目錄: “... by Integer Linear Programming -- An Efficient Lagrangian Relaxation for the Contact Map Overlap Problem -- A...”
獲取全文

電子電子書

13

Combinatorial Optimization and Applications Second International Conference, COCOA 2008, St. John's, NL, Canada, August 21-24, 2008, Proceedings /

出版 2008

書本目錄: “... of Candidate Control in Elections and Related Digraph Problems -- A Parameterized Perspective on Packing Paths...”
獲取全文

電子電子書

14

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

出版 2005

書本目錄: “... Sphere Cut Branch Decompositions -- An Algorithm for the SAT Problem for Formulae of Linear Length...”
獲取全文

電子電子書

15

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /

出版 2014

書本目錄: “... Modulo Graphs: Acyclicity -- Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal...”
獲取全文

電子電子書

16

Mathematical Software - ICMS 2010 Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010, Proceedings /

出版 2010

書本目錄: “... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”
獲取全文

電子電子書

17

Mathematical Software -- ICMS 2014 4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings /

出版 2014

書本目錄: “...-Generated Small Category -- Codes over a Non Chain Ring with Some Applications -- On the Weight Enumerators...”
獲取全文

電子電子書

18

Algorithms - ESA 2006 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006, Proceedings /

出版 2006

書本目錄: “... of “Augmenting Path” Algorithms in the Presence of Irrational Problem Data -- Dynamic Programming and Fast Matrix...”
獲取全文

電子電子書

19

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings /

出版 2007

書本目錄: “... Isomorphism Tests -- Enumerating All Solutions for Constraint Satisfaction Problems....”
獲取全文

電子電子書

20

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /

出版 2007

書本目錄: “...: Illustrative Topics and Problems -- Characterizing Programming Systems Allowing Program Self-reference -- K...”
獲取全文

電子電子書

縮小搜索