✍ Scribed by Walsh, Toby
No coin nor oath required. For personal study only.
Hybrid Benders Decomposition Algorithms In Constraint Logic Programming / Andrew Eremin And 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 And Christophe Rigotti -- Collaborative Learning For Constraint Solving / Susan L. Epstein And Eugene C. Freuder -- Towards Stochastic Constraint Programming: A Study Of Online Multi-choice Knapsack With Deadlines / Thierry Benoist, Eric Bourreau And Yves Caseau / [et Al.] -- Global Cut Framework For Removing Symmetries / Filippo Focacci And Michaela Milano -- Symmetry Breaking / Torsten Fahle, Stefan Schamberger And Meinolf Sellmann -- The Non-existence Of (3,1,2)-conjugate Orthogonal Idempotent Latin Square Of Order 10 / Olivier Dubois And Gilles Dequen -- Random 3-sat And Bdds: The Plot Thickens Further / Alfonso San Miguel Aguirre And Moshe Y. Vardi --^ Capturing Structure With Satisfiability / Ramon Bejar, Alba Cabiscol And Cesar Fernandez / [et Al.] -- Phase Transitions And Backbones Of 3-sat And Maximum 3-sat / Weixiong Zhang -- Solving Non-binary Csps Using The Hidden Variable Encoding / Nikos Mamoulis And Kostas Stergiou -- A Filtering Algorithm For The Stretch Constraint / Gilles Pesant -- Network Flow Problems In Constraint Programming / Alexander Bockmayr, Nicolai Pisaruk And Abderrahmane Aggoun -- Pruning For The Minimum Constraint Family And 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 And David F. Manlove / [et Al.] -- Components For State Restoration In Tree Search / Chiu Wo Choi, Martin Henz And Ka Boon Ng -- Adaptive Constraint Handling With Chr In Java / Armin Wolf -- Consistency Maintenance For Abt / Marius-calin Silaghi, Djamila Sam-haroud And Boi Faltings --^ Constraint-based Verification Of Client-server Protocols / Giorgio Delzanno And Tevfik Bultan -- A Temporal Concurrent Constraint Programming Calculus / Catuscia Palamidessi And Frank D. Valencia -- Lower Bounds For Non-binary Constraint Optimization Problems / Pedro Meseguer, Javier Larrosa And Marti Sanchez -- New Lower Bounds Of Constraint Violations For Over-constrained Problems / Jean-charles Regin, Thierry Petit And Christian Bessiere / [et Al.] -- A General Scheme For Multiple Lower Bound Computation In Constraint Optimization / Rina Dechter, Kalev Kask And Javier Larrosa -- Solving Disjunctive Constraints For Interactive Graphical Applications / Kim Marriott, Peter Moulder And Peter J. Stuckey / [et Al.] -- Sweep As A Generic Pruning Technique Applied To The Non-overlapping Rectangles Constraint / Nicolas Beldiceanu And Mats Carlsson -- Non-overlapping Constraints Between Convex Polytopes / Nicolas Beldiceanu, Qi Guo And Sven Thiel --^ Formal Models Of Heavy-tailed Behavior In Combinatorial Search / Hubie Chen, Carla Gomes And Bart Selman -- The Phase Transition Of The Linear Inequalities Problem / Alessandro Armando, Felice Peccia And Silvio Ranise -- In Search Of A Phase Transition In The Ac-matching Problem / Phokion G. Kolaitis And Thomas Raffill -- Specific Filtering Algorithms For Over-constrained Problems / Thierry Petit, Jean-charles Regin And Christian Bessiere -- Specializing Russian Doll Search / Pedro Meseguer And Marti Sanchez -- A Clp Approach To The Protein Side-chain Placement Problem / Martin T. Swain And Graham J. L. Kemp -- Fast, Constraint-based Threading Of Hp-sequences To Hydrophobic Cores / Rolf Backofen And Sebastian Will -- One Flip Per Clock Cycle / Martin Henz, Edgar Tan And Roland Yap -- Solving Constraints Over Floating-point Numbers / Claude Michel, Michel Rueher And Yahia Lebbah --^ Optimal Pruning In Parametric Differential Equations / Micha Janssen, Pascal Van Hentenryck And Yves Deville -- Interaction Of Constraint Programming And Local Search For Optimisation Problems / Francisco Azevedo And Pedro Barahona -- Partition-k-ac: An Efficient Filtering Technique Combining Domain Partition And Arc Consistency / Hachemi Bennaceur And Mohamed-salah Affane -- Neighborhood-based Variable Ordering Heuristics For The Constraint Satisfaction Problem / Christian Bessiere, Assef Chmeiss And Lakhdar Sais -- The Expressive Power Of Binary Linear Programming / Marco Cadoli -- Constraint Generation Via Automated Theory Formation / Simon Colton And Ian Miguel -- The Traveling Tournament Problem Description And Benchmarks / Kelly Easton, George Nemhauser And Michael Trick -- Deriving Explanations And Implications For Constraint Satisfaction Problems / Eugene C. Freuder, Chavalit Likitvivatanavong And Richard J. Wallace --^ Generating Tradeoffs For Interactive Constraint-based Configuration / Eugene C. Freuder And Barry O'sullivan -- Structural Constraint-based Modeling And Reasoning With Basic Configuration Cells / Rafael M. Gasca, Juan A. Ortega And Miguel Toro -- Composition Operators For Constraint Propagation: An Application To Choco / Laurent Granvilliers And Eric Monfroy -- Solving Boolean Satisfiability Using Local Search Guided By Unit Clause Elimination / Edward A. Hirsch And Arist Kojevnikov -- Gac On Conjunctions Of Constraints / George Katsirelos And Fahiem Bacchus -- Dual Models Of Permutation Problems / Barbara M. Smith -- Boosting Local Search With Artificial Ants / Christine Solnon -- Fast Optimal Instruction Scheduling For Single-issue Processors With Arbitrary Latencies / Peter Van Beek And Kent Wilken -- Evaluation Of Search Heuristics For Embedded System Scheduling Problems / Cecilia Ekelin And Jan Jonsson --^ Interpreting Sloppy Stick Figures With Constraint-based Subgraph Matching / Markus P. J. Fromherz And James V. Mahoney -- Selecting And Scheduling Observations For Agile Satellites: Some Lessons From The Constraint Reasoning Community Point Of View / Gerard Verfaillie And Michel Lemaitre -- A Dynamic Distributed Constraint Satisfaction Approach To Resource Allocation / Pragnesh Jay Modi, Hyuckchul Jung And Milind Tambe / [et Al.] -- A Constraint Optimization Framework For Mapping A Digital Signal Processing Application Onto A Parallel Architecture / Juliette Mattioli, Nicolas Museux And J. Jourdan / [et Al.] -- Iopt: A Software Toolkit For Heuristic Search Methods / Christos Voudouris, Raphael Dorne And David Lesaint / [et Al.] -- Abscon: A Prototype To Solve Csps With Abstraction / Sylvain Merchez, Christophe Lecoutre And Frederic Boussemart -- A Constraint Engine For Manufacturing Process Planning / Jozsef Vancza And Andras Markus --^ On The Dynamic Detection Of Interchangeability In Finite Constraint Satisfaction Problems / Amy M. Beckwith And Berthe Y. Choueiry -- Automatic Generation Of Implied Clauses For Sat / Lyndon Drake -- Verification Of Infinite-state Systems By Specialization Of Clp Programs / Fabio Fioravanti -- Partially Ordered 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 / Hyuckchul Jung -- Aircraft Assignment Using Constraint Programming / Erik Kilborn -- Labelling Heuristics For Csp Application Domains / Zeynep Kiziltan -- Improving Sat Algorithms By Using Search Pruning Techniques / Ines Lynce And Joao Marques-silva --^ Optimum Symmetry Breaking In Csps Using Group Theory / Iain Mcdonald -- Distributed Dynamic Backtracking / Christian Bessiere, Arnold Maestre And Pedro Meseguer -- Constraint Programming For Distributed Resource Allocation / Pragnesh Jay Modi -- Exploiting The Csp Structure By Interchangeability / 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, Gilles Pesant And Michel Gendreau. An Incremental And Non-binary Csp Solver: The Hyperpolyhedron Search Algorithm / Miguel A. Salido And 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 / Marius-calin Silaghi, Stefan Sabau And Djamila Sam-haroud / [et Al.] -- Temporal Concurrent Constraint Programming / Frank D. Valencia. Toby Walsh (ed.). Includes Bibliographical References And Index.
📜 SIMILAR VOLUMES