close
1.

図書

図書
Toby Walsh (ed.)
出版情報: Berlin ; Tokyo : Springer, c2001  xiv, 788 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2239
所蔵情報: loading…
目次情報: 続きを見る
Hybrid Benders Decomposition Algorithms in Constraint Logic Programming / Andrew Eremin ; Mark Wallace
Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming / Erlendur ; S. Thorsteinsson
Towards Inductive Constraint Solving / Slim Abdennadher ; Christophe Rigotti
Collaborative Learning for Constraint Solving / Susan L. Epstein ; Eugene C. Freuder
Towards Stochastic Constraint Programming: A Studyof Online Multi-choice Knapsack with Deadlines / Thierry Benoist ; Eric Bourreau ; Yves Caseau ; Benoit Rottembourg
Global Cut Framework for Removing Symmetries / Filippo Focacci ; Michaela Milano
Symmetry Breaking / Torsten Fahle ; Stefan Schamberger ; Meinolf Sellmann
The Non-existence of (3,1,2)-Conjugate Orthogonal Idempotent Latin Square of Order 10 / Olivier Dubois ; Gilles Dequen
Random 3-SAT and BDDs: The Plot Thickens Further / Alfonso San Miguel Aguirre ; Moshe Y. Vardi
Capturing Structure with Satisfiability / Ramón Béjar ; Alba Cabiscol ; Cèsar Fernàndez ; Felip Manyà ; Carla Gomes
Phase Transitions and Backbones of 3-SAT and Maximum 3-SAT / Weixiong Zhang
Solving Non-binaryCSPs Using the Hidden Variable Encoding / Nikos Mamoulis ; Kostas Stergiou
A Filtering Algorithm for the Stretch Constraint / Gilles Pesant
Network Flow Problems in Constraint Programming / Alexander Bockmayr ; Nicolai Pisaruk ; Abderrahmane Aggoun
Pruning for the Minimum Constraint Familyand for the Number of Distinct Values Constraint Family / Nicolas Beldiceanu
A Constraint Programming Approach to the Stable Marriage Problem / Ian P. Gent ; Robert W. Irving ; David F. Manlove ; Patrick Prosser ; Barbara M. Smith
Components for State Restoration in Tree Search / Chiu Wo Choi ; Martin Henz ; Ka Boon Ng
Adaptive Constraint Handling with CHR in Java / Armin Wolf
ConsistencyMaintenance for ABT / Marius-C&abrave;lin Silaghi ; Djamila Sam-Haroud ; Boi Faltings
Constraint-Based Verification of Client-Server Protocols / Giorgio Delzanno ; Tevfik Bultan
A Temporal Concurrent Constraint Programming Calculus / Catuscia Palamidessi ; Frank D. Valencia
Lower Bounds for Non-binaryConstraint Optimization Problems / Pedro Meseguer ; Javier Larrosa ; Martí Sánchez
New Lower Bounds of Constraint Violations for Over-Constrained Problems / Jean-Charles Régin ; Thierry Petit ; Christian Bessüère ; Jean-François Puget
A General Scheme for Multiple Lower Bound Computation in Constraint Optimization / Rina Dechter ; Kalev Kask
Solving Disjunctive Constraints for Interactive Graphical Applications / Kim Marriott ; Peter Moulder ; Peter J. Stuckey ; Alan Borning
Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint / Mats Carlsson
Non-overlapping Constraints between Convex Polytopes / Qi Guo ; Sven Thiel
Formal Models of Heavy-Tailed Behavior in Combinatorial Search / Hubie Chen ; Bart Selman
The Phase Transition of the Linear Inequalities Problem / Alessandro Armando ; Felice Peccia ; Silvio Ranise
In Search of a Phase Transition in the AC-Matching Problem / Phokion G. Kolaitis ; Thomas Raffill
Specific Filtering Algorithms for Over-Constrained Problems / Christian Bessière
Specializing Russian Doll Search
A CLP Approach to the Protein Side-Chain Placement Problem / Martin T. Swain ; Graham J.L. Kemp
Fast, Constraint-Based Threading of HP-Sequences to Hydrophobic Cores / RolfBackofen ; Sebastian Will
One Flip per Clock Cycle / Edgar Tan ; Roland Yap
Solving Constraints over Floating-Point Numbers / Claude Michel ; Michel Rueher ; Yahia Lebbah
Optimal Pruning in Parametric Differential Equations / Micha Janssen ; Pascal Van Hentenryck ; Yves Deville
Interaction of Constraint Programming and Local Search for Optimisation Problems / Francisco Azevedo ; Pedro Barahona
Partition-k-AC: An Efficient Filtering Technique Combining Domain Partition and Arc Consistency / Hachemi Bennaceur ; Mohamed-Salah Affane
Neighborhood-Based Variable Ordering Heuristics for the Constraint Satisfaction Problem / Assef Chmeiss ; Lakhdar Saïs
The Expressive Power of BinaryLinear Programming / Marco Cadoli
Constraint Generation via Automated TheoryFormation / Simon Colton ; Ian Miguel
The Traveling Tournament Problem Description and Benchmarks / Kelly Easton ; George Nemhauser ; Michael Trick
Deriving Explanations and Implications for Constraint Satisfaction Problems / Chavalit Likitvivatanavong ; Richard J. Wallace
Generating Tradeoffs for Interactive Constraint-Based Configuration / Barry O'Sullivan
Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells / Rafael M. Gasca ; Juan A. Ortega ; Miguel Toro
Composition Operators for Constraint Propagation: An Application to Choco / Laurent Granvilliers ; Eric Monfroy
Solving Boolean SatisfiabilityUsing Local Search Guided byUnit Clause Elimination / Edward A. Hirsch ; Arist Kojevnikov
GAC on Conjunctions of Constraints / George Katsirelos ; Fahiem Bacchus
Dual Models of Permutation Problems
Boosting Local Search with Artificial Ants / Christine Solnon
Fast Optimal Instruction Scheduling for Single-Issue Processors with ArbitraryLatencies / Peter van Beek ; Kent Wilken
Evaluation of Search Heuristics for Embedded System Scheduling Problems / Cecilia Ekelin ; Jan Jonsson
Interpreting SloppyStick Figures with Constraint-Based Subgraph Matching / Markus P.J. Fromherz ; James V. Mahoney
Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constrain Reasoning CommunityPoint of View / Gérard Verfaillie ; Michel Lemaître
A Dynamic Distributed Constraint Satisfaction Approach to Resource Allocation / Pragnesh Jay Modi ; Hyuckchul Jung ; Milind Tambe ; Wei-Min Shen ; Shriniwas Kulkarni
A Constraint Optimization Framework for Mapping a Digital Signal Processing Application onto a Parallel Architecture / Juliette Mattioli ; Nicolas Museux ; J. Jourdan ; Pierre Savéant ; Simon de Givry
iOpt: A Software Toolkit for Heuristic Search Methods / Christos Voudouris ; Raphael Dorne ; David Lesaint ; Anne Liret
AbsCon: A Prototype to Solve CSPs with Abstraction / Sylvain Merchez ; Christophe Lecoutre ; Frederic Boussemart
A Constraint Engine for Manufacturing Process Planning / József Váncza ; András Márkus
On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems / Amy M. Beckwith ; Berthe Y. Choueiry
Automatic Generation of Implied Clauses for SAT / Lyndon Drake
Verification of Infinite-State Systems by Specialization of CLP Programs / Fabio Fioravanti
PartiallyOrdered Constraint Optimization Problems / Marco Gavanelli
Translations for Comparing Soft Frameworks / Rosella Gennari
Counting Satisfiable k-CNF Formulas / Mitchell A. Harris
High-Level Modelling and Reformulation of Constraint Satisfaction Problems / Brahim Hnich
Distributed Constraint Satisfaction as a Computational Model of Negotiation via Argumentation
Aircraft Assignment Using Constraint Programming / Erik Kilborn
Labelling Heuristics for CSP Application Domains / Zeynep Kiziltan
Improving SAT Algorithms byUsing Search Pruning Techniques / Inês Lynce ; João Marques-Silva
Optimum Symmetry Breaking in CSPs Using Group Theory / Iain McDonald
Distributed Dynamic Backtracking / Arnold Maestre
Constraint Programming for Distributed Resource Allocation
Exploiting the CSP Structure byInterchangeability / Nicoleta Neagu
Constraint Processing Techniques for Model-Based Reasoning about Dynamic Systems / Andrea Panati
Distributed Constraint Satisfaction with Cooperating Asynchronous Solvers / Georg Ringwelski
Building Negative Reduced Cost Paths Using Constraint Programming / Louis-Martin Rousseau ; Michel Gendreau
An Incremental and Non-binaryCSP Solver: The Hyperpolyhedron Search Algorithm / Miguel A. Salido ; Federico Barber
Partial Stable Generated Models of Generalized Logic Programs with Constraints / Sibylle Schwarz
Heterogeneous Constraint Problems (An Outline of the Field of Work) / Frank Seelisch
Comparing SAT Encodings for Model Checking / Daniel Sheridan
Asynchronous Search for Numeric DisCSPs / Stefan &Scedilla;ab&abrave;u
Temporal Concurrent Constraint Programming
Author Index
Hybrid Benders Decomposition Algorithms in Constraint Logic Programming / Andrew Eremin ; Mark Wallace
Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic Programming / Erlendur ; S. Thorsteinsson
Towards Inductive Constraint Solving / Slim Abdennadher ; Christophe Rigotti
2.

図書

図書
Fahiem Bacchus, Toby Walsh (eds.)
出版情報: Berlin : Springer, c2005  xii, 492 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3569
所蔵情報: loading…
3.

図書

図書
Berthe Y. Choueiry, Toby Walsh (eds.)
出版情報: Berlin : Springer, c2000  xi, 331 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1864 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

電子ブック

EB
Enrico; Walsh, Toby Giunchiglia, Enrico Giunchiglia, Toby Walsh
出版情報: Springer eBooks Computer Science , Springer Netherlands, 2006
所蔵情報: loading…
5.

電子ブック

EB
SAT 2005, Fahiem Bacchus, Takeo Kanade, Toby Walsh
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
6.

図書

図書
edited by Armin Biere ... [et al.]
出版情報: Amsterdam : IOS Press, c2009  xiii, 966 p. ; 25 cm
シリーズ名: Frontiers in artificial intelligence and applications ; v. 185
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼