Conferences in DBLP
Pascal Van Hentenryck A Modeling Language for Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Noëlle Bleuzen-Guernalec , Alain Colmerauer Narrowing a Block of Sortings in Quadratic Time. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Caseau , François Laburthe Solving Various Weighted Matching Problems with Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Charles Régin , Jean-Francois Puget A Filtering Algorithm for Global Sequencing Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Frank S. de Boer , Maurizio Gabbrielli , Maria Chiara Meo Semantics and Expressive Power of a Timed Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Devienne , Jean-Marc Talbot , Sophie Tison Solving Classes of Set Constraints with Tree Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Ian P. Gent , Judith L. Underwood The Logic of Search Algorithms: Theory and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Stephan Melzer Verification of Parallel Systems using Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Dimitris Achlioptas , Lefteris M. Kirousis , Evangelos Kranakis , Danny Krizanc , Michael S. O. Molloy , Yannis C. Stamatiou Random Constraint Satisfaction: A More Accurate Picture. [Citation Graph (0, 0)][DBLP ] Conf ] Carla P. Gomes , Bart Selman , Nuno Crato Heavy-Tailed Distributions in Combinatorial Search. [Citation Graph (0, 0)][DBLP ] Conf ] Gabriel Istrate Counting, Structure Identification and Maximum Consistency for Binary Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Irina Rish , Daniel Frost Statistical Analysis of Backtracking on Inconsistent CSPs. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Caseau Using Constraint Propagation for Complex Scheduling Problems: Managing Size, Complex Resources and Travel. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Sabin , Eugene C. Freuder Understanding and Improving the MAC Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara M. Smith , Stuart A. Grant Modelling Exceptionally Hard Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Galinier , Jin-Kao Hao Tabu Search for Maximal Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Youssef Hamadi , David Merceron Reconfigurable Architectures: A New Vision for Optimization Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Katsutoshi Hirayama , Makoto Yokoo Distributed Partial Constraint Satisfaction Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Michel , Pascal Van Hentenryck Localizer: A Modeling Language for Local Search. [Citation Graph (0, 0)][DBLP ] Conf ] Slim Abdennadher Operational Semantics and Confluence of Constraint Propagation Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Boudet , Evelyne Contejean AC-Unification of Higher-Order Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Miki Hermann , Phokion G. Kolaitis On the Complexity of Unification and Disunification in Commutative Idempotent Semigroups. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Müller , Joachim Niehren , Andreas Podelski Ordering Constraints over Feature Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Romuald Debruyne , Christian Bessière From Restricted Path Consistency to Max-Restricted Path Consistency. [Citation Graph (0, 0)][DBLP ] Conf ] Ian P. Gent , Ewan MacIntyre , Patrick Prosser , Toby Walsh The Constrainedness of Arc Consistency. [Citation Graph (0, 0)][DBLP ] Conf ] Chu Min Li , Anbulagan Look-Ahead Versus Look-Back for Satisfiability Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Yokoo Why Adding More Constraints Makes a Problem Easier for Hill-climbing Algorithms: Analyzing Landscapes of CSPs. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Michel , Jean-Francois Puget Interval Methods for Non-linear Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Minton Configurable Solvers: Tailoring General Methods to Specific Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Baptiste , Claude Le Pape Constraint Propagation and Decomposition Techniques for Highly Disjunctive and Highly Cumulative Project Scheduling Problems. [Citation Graph (0, 0)][DBLP ] Conf ] J. Christopher Beck , Andrew J. Davenport , Mark S. Fox Five Pitfalls of Empirical Scheduling Research. [Citation Graph (0, 0)][DBLP ] Conf ] Simon de Givry , Gérard Verfaillie , Thomas Schiex Bounding the Optimum of Constraint Optimization Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Pesant , Michel Gendreau , Jean-Marc Rousseau GENIUS-CP: a Generic Single-Vehicle Routing Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Bettini , Xiaoyang Sean Wang , Sushil Jajodia Satisfiability of Quantitative Temporal Constraints with Multiple Granularities. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Grumbach , Gabriel M. Kuper Tractable Recursion over Geometric Data. [Citation Graph (6, 0)][DBLP ] Conf ] Christoph M. Hoffmann , Andrew Lomonosov , Meera Sitharam Finding Solvable Subsets of Constraint Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Cohen , Peter Jeavons , Manolis Koubarakis Tractable Disjunctive Constraints. [Citation Graph (1, 0)][DBLP ] Conf ] Warwick Harvey , Peter J. Stuckey , Alan Borning Compiling Constraint Solving using Projection. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marc Labat , Laurent Mynard Oscillation, Heuristic Ordering and Pruning in Neighborhood Search. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Schulte Programming Constraint Inference Engines. [Citation Graph (0, 0)][DBLP ] Conf ] Igor Shvetsov , Vitaly Telerman , Dmitry Ushakov NeMo+: Object-Oriented Constraint Programming Environment Based on Subdefinite Models. [Citation Graph (0, 0)][DBLP ] Conf ] Leszek Pacholski , Andreas Podelski Set Constraints: A Pearl in Research on Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] 