Conferences in DBLP
Michela Milano , Willem Jan van Hoeve Reduced Cost-Based Ranking for Generating Promising Subproblems. [Citation Graph (0, 0)][DBLP ] Conf ] Gautam Appa , Ioannis Mourtos , Dimitris Magos Integrating Constraint and Integer Programming for the Orthogonal Latin Squares Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Paula Amaral , Pedro Barahona On Optimal Correction of Inconsistent Linear Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Yannis Dimopoulos , Alfonso Gerevini Temporal Planning through Mixed Integer Programming: A Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Beldiceanu , Mats Carlsson A New Multi-resource cumulatives Constraint with Negative Heights. [Citation Graph (0, 0)][DBLP ] Conf ] Tallys H. Yunes On the Sum Constraint: Relaxation and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Alan M. Frisch , Brahim Hnich , Zeynep Kiziltan , Ian Miguel , Toby Walsh Global Constraints for Lexicographic Orderings. [Citation Graph (0, 0)][DBLP ] Conf ] Yahia Lebbah , Michel Rueher , Claude Michel A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent A. Cicirello , Stephen F. Smith Amplification of Search Performance through Randomization of Heuristics. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Muscettola Computing the Envelope for Stepwise-Constant Resource Allocations. [Citation Graph (0, 0)][DBLP ] Conf ] Olli Kamarainen , Hani El Sakkout Local Probing Applied to Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Djamal Habet , Chu Min Li , Laure Devendeville , Michel Vasquez A Hybrid Approach for SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Ostrowski , Éric Grégoire , Bertrand Mazure , Lakhdar Sais Recovering and Exploiting Structural Knowledge from CNF Formulas. [Citation Graph (0, 0)][DBLP ] Conf ] Lintao Zhang , Sharad Malik Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Wei , Bart Selman Accelerating Random Walks. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Hutter , Dave A. D. Tompkins , Holger H. Hoos Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Francesca Rossi , Alessandro Sperduti , Kristen Brent Venable , Lina Khatib , Paul H. Morris , Robert A. Morris Learning and Solving Soft Temporal Constraints: An Experimental Study. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro Meseguer , Martí Sánchez , Gérard Verfaillie Opportunistic Specialization in Russian Doll Search. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Petit , Jean-Charles Régin , Christian Bessière Range-Based Algorithm for Max-CSP. [Citation Graph (0, 0)][DBLP ] Conf ] David G. Mitchell Resolution Complexity of Random Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Víctor Dalmau , Phokion G. Kolaitis , Moshe Y. Vardi Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Ola Angelsmark , Peter Jonsson , Svante Linusson , Johan Thapper Determining the Number of Solutions to Binary CSP Instances. [Citation Graph (0, 0)][DBLP ] Conf ] Spiros Skiadopoulos , Manolis Koubarakis Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions. [Citation Graph (0, 0)][DBLP ] Conf ] Boi Faltings , Santiago Macho-Gonzalez Open Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Lucas Bordeaux , Eric Monfroy Beyond NP: Arc-Consistency for Quantified Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Yokoo , Koutarou Suzuki , Katsutoshi Hirayama Secure Distributed Constraint Satisfaction: Reaching Agreement without Revealing Private Information. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara M. Smith A Dual Graph Translation of a Problem in 'Life'. [Citation Graph (0, 0)][DBLP ] Conf ] Ian P. Gent , Warwick Harvey , Tom Kelsey Groups and Constraints: Symmetry Breaking during Search. [Citation Graph (0, 0)][DBLP ] Conf ] Iain McDonald , Barbara M. Smith Partial Symmetry Breaking. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Francois Puget Symmetry Breaking Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Flener , Alan M. Frisch , Brahim Hnich , Zeynep Kiziltan , Ian Miguel , Justin Pearson , Toby Walsh Breaking Row and Column Symmetries in Matrix Models. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Barnier , Pascal Brisset Solving the Kirkman's Schoolgirl Problem in a Few Seconds. [Citation Graph (0, 0)][DBLP ] Conf ] David Lesaint Inferring Constraint Types in Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Brian C. Williams , Michel D. Ingham Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State. [Citation Graph (0, 0)][DBLP ] Conf ] Susan L. Epstein , Eugene C. Freuder , Richard J. Wallace , Anton Morozov , Bruce Samuels The Adaptive Constraint Engine. [Citation Graph (0, 0)][DBLP ] Conf ] Thi-Bich-Hanh Dao , Arnaud Lallouet , Andrei Legtchenko , Lionel Martin Indexical-Based Solver Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Leyton-Brown , Eugene Nudelman , Yoav Shoham Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions. [Citation Graph (0, 0)][DBLP ] Conf ] Yongshao Ruan , Eric Horvitz , Henry A. Kautz Restart Policies with Dependence among Runs: A Dynamic Programming Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Roman Barták Visopt ShopFloor: On the Edge of Planning and Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Benoist , Etienne Gaudin , Benoît Rottembourg Constraint Programming Contribution to Benders Decomposition: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Christie , Eric Languénou , Laurent Granvilliers Modeling Camera Control with Constrained Hypertubes. [Citation Graph (0, 0)][DBLP ] Conf ] Claude Le Pape , Laurent Perron , Jean-Charles Régin , Paul Shaw Robust and Parallel Solving of a Network Design Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Muriel Lauvergne , Philippe David , Patrice Boizumault Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Cèsar Fernández , Ramón Béjar , Bhaskar Krishnamachari , Carla P. Gomes Communication and Computation in Distributed CSP Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Ratschan Continuous First-Order Constraint Satisfactionwith Equality and Disequality Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] John N. Hooker , Hong Yan A Relaxation of the Cumulative Constraint. [Citation Graph (0, 0)][DBLP ] Conf ] Peter J. Stuckey , Lei Zheng Improving GSAT Using 2SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Jakob Mauss , Frank Seelisch , Mugur M. Tatar A Relational Constraint Solver for Model-Based Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Abdallah Elkhyari , Christelle Guéret , Narendra Jussien Conflict-Based Repair Techniques for Solving Dynamic Scheduling Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew J. Parkes Scaling Properties of Pure Random Walk on Random 3-SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Roli Criticality and Parallelism in Structured SAT Instances. [Citation Graph (0, 0)][DBLP ] Conf ] Hachemi Bennaceur , Chu Min Li Characterizing SAT Problems with the Row Convexity Property. [Citation Graph (0, 0)][DBLP ] Conf ] Stefano Bistarelli , Boi Faltings , Nicoleta Neagu Interchangeability in Soft CSPs. [Citation Graph (0, 0)][DBLP ] Conf ] Neil Yorke-Smith , Carmen Gervet On Constraint Problems with Incompleteor Erroneous Data. [Citation Graph (0, 0)][DBLP ] Conf ] Meinolf Sellmann , Warwick Harvey Heuristic Constraint Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Meinolf Sellmann An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint. [Citation Graph (0, 0)][DBLP ] Conf ] Yat Chiu Law , Jimmy Ho-Man Lee Algebraic Properties of CSP Model Operators. [Citation Graph (0, 0)][DBLP ] Conf ] Marc R. C. van Dongen AC-3d an Efficient Arc-Consistency Algorithm with a Low Space-Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Ringwelski Integrating Search Objects in Asynchronous Constraint Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Schlenker Distributed Constraint-Based Railway Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Karen E. Petrie Symmetry Breaking in Peaceably Coexisting Armies of Queens. [Citation Graph (0, 0)][DBLP ] Conf ] Petr Vilím Batch Processing with Sequence Dependent Setup Times. [Citation Graph (0, 0)][DBLP ] Conf ] Tomás Müller Interactive Heuristic Search Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Neil Yorke-Smith On Constraint Problems with Incomplete or Erroneous Data. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Roli Design of a New Metaheuristic for MAXSAT Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Miguel A. Salido , Federico Barber Disjunctive and Continuous Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Inês Lynce , João P. Marques Silva Tuning Randomization in Backtrack Search SAT Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Yuan Zhan Constraint Solving in Test-Data Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Bohlin Improving Cost Calculations for Global Constraints in Local Search. [Citation Graph (0, 0)][DBLP ] Conf ] Gerrit Renker A Modeling Framework for Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Linda van Norden , Hans van Maaren A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design. [Citation Graph (0, 0)][DBLP ] Conf ] Luis O. Quesada , Peter Van Roy A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles. [Citation Graph (0, 0)][DBLP ] Conf ] Mattias Grönkvist Using Constraint Propagation to Accelerate Column Generation in Aircraft Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Kristen B. Venable Solving and Learning Soft Temporal Constraints; Ceteris Paribus Statements Represented as Soft Constraints Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Seelisch A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form. [Citation Graph (0, 0)][DBLP ] Conf ] Brahim Hnich , Toby Walsh Models of Injection Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Iain McDonald Partial Symmetry Breaking. [Citation Graph (0, 0)][DBLP ] Conf ] Lyndon Drake , Alan M. Frisch , Toby Walsh Automatic Generation of Implied Clauses for SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Carlos Ansótegui , Felip Manyà Bridging the Gap between SAT and CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Zeynep Kiziltan Reducing Symmetry in Matrix Models. [Citation Graph (0, 0)][DBLP ] Conf ] Nicoleta Neagu Studying Interchangeability in Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Glaubius , Berthe Y. Choueiry Constraint Modeling in the Context of Academic Task Assignment. [Citation Graph (0, 0)][DBLP ] Conf ] Ioannis A. Vetsikas Design Tradeoffs for Autonomous Trading Agents. [Citation Graph (0, 0)][DBLP ] Conf ] 