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