Conferences in DBLP
Slim Abdennadher , Thom W. Frühwirth , Holger Meuss On Confluence of Constraint Handling Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamed-Salah Affane , Hachemi Bennaceur A Labelling Arc Consistency Method for Functional Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Dhritiman Banerjee , Jeremy Frank Constraint Satisfaction in Optical Routing for Passive Wavelength-Routed Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Roberto J. Bayardo Jr. , Robert Schrag Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Bessière , Jean-Charles Régin MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Witold Charatonik , Andreas Podelski The Independence Property of a Class of Set Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] B. M. W. Cheng , Jimmy Ho-Man Lee , J. C. K. Wu Speeding Up Constraint Propagation By Redundant Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] C. K. Chiu , C. M. Chou , Jimmy Ho-Man Lee , Ho-fung Leung , Y. W. Leung A Constraint-Based Interactive Train Rescheduling Tool. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Clark , Jeremy Frank , Ian P. Gent , Ewan MacIntyre , Neven Tomov , Toby Walsh Local Search and the Number of Solutions. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Cohen , Marc Gyssens , Peter Jeavons Derivation of Constraints and Database Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Colombani Constraint Programming: an Efficient and Practical Approach to Solving the Job-Shop Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Hani El Sakkout , Mark Wallace , Barry Richards An Instance of Adaptive Constraint Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Ian P. Gent , Ewan MacIntyre , Patrick Prosser , Barbara M. Smith , Toby Walsh An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Jin-Kao Hao , Raphaël Dorne Empirical Studies of Heuristic Local Search for Constraint Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Holzbaur , Francisco Menezes , Pedro Barahona Defeasibility in CLP(Q) through Generalized Slack Variables. [Citation Graph (0, 0)][DBLP ] Conf ] John N. Hooker Inference Duality as a Basis for Secitivity Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Hosobe , Satoshi Matsuoka , Akinori Yonezawa Generalized Local Propagation: A Framework for Solving Constraint Hierarchies. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Jampel , Jean-Marie Jacquet , David Gilbert , Sebastian Hunt Transformations Between HCLP and PCSP. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Jeavons , David A. Cohen , Marc Gyssens A test for Tractability. [Citation Graph (2, 0)][DBLP ] Conf ] Stephan Kepser , Klaus U. Schulz Combination of Constraint Systems II: Rational Amalgamation. [Citation Graph (0, 0)][DBLP ] Conf ] Manolis Koubarakis Tractable Disjunctions of Linear Constraints. [Citation Graph (1, 0)][DBLP ] Conf ] Javier Larrosa , Pedro Meseguer Exploiting the Use of DAC in MAX-CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Hoong Chuin Lau A New Approach for Weighted Constraint Satisfaction: Theoretical and Computational Results. [Citation Graph (0, 0)][DBLP ] Conf ] Jimmy Ho-Man Lee , Ho-fung Leung , Hon-Wing Won Towards a More Efficient Stochastic Constraint Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Pesant , Michel Gendreau A View of Local Search in Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] María Cristina Riff Rojas From Quasi-Solutions to Solution: An Evolutionary Algorithm to Solve CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Francesca Rossi Existential Variables and Local Consistency in Finite Domain Constraint Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Ruet Logical Semantics of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Djamila Sam-Haroud , Boi Faltings Solving Non-binary Convez CSPs in Continous Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuya Suzuki , Nobuo Kakinuma , Takehiro Tokuda An Eperimental Comparison of Three Modified DeltaBlue Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Cesare Tinelli , Mehdi T. Harandi Constraint Logic Programming over Unions of Constraint Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Urbina Analysis of Hybrid Systems in CLP(R). [Citation Graph (0, 0)][DBLP ] Conf ] Luc Vandeurzen , Marc Gyssens , Dirk Van Gucht On Query Languages for Linear Queries Definable with Polynomial Constraints. [Citation Graph (6, 0)][DBLP ] Conf ] Richard J. Wallace Analysis of Heuristic Methods for Partial Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Yokoo , Takayuki Suyama , Hiroshi Sawada Solving Satisfiability Problems Using Field Programmable Gate Arrays: First Results. [Citation Graph (0, 0)][DBLP ] Conf ] Jianyang Zhou A Constraint Program for Solving the Job-Shop Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Albers , Jacques Bellone PSAP - A Planning System for Aircraft Production (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Steven A. Battle Using Partial Arc Consistency in a Database Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Mouhssine Bouzoubaa Functional Constrain Hierarchies in CLP. [Citation Graph (0, 0)][DBLP ] Conf ] Mats Carlsson , Björn Carlson , Greger Ottosson Towards an Open Finite Domain Constraint Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Assef Chmeiss , Philippe Jégou Efficient Constraint Propagation With Good Space Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Mukesh Dalal , Yong Feng Anytime Temporal Reasoning: Preliminary Report (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] François Fages From Constraint Minimization to Goal Optimization in CLP Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Frost , Rina Dechter Looking at Full Looking Ahead. [Citation Graph (0, 0)][DBLP ] Conf ] Stuart A. Grant , Barbara M. Smith The Arc and Path Consistency Phase Transitions. [Citation Graph (0, 0)][DBLP ] Conf ] Wim Hellinck Experiences with Combining Constraint Programming and Discrete Event Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Katsutoshi Hirayama Hill-Climbing with Local Consistency for Solving Distributed CSPs. [Citation Graph (0, 0)][DBLP ] Conf ] F. J. Jüngen , W. Kowalczyk Appriximate Algorithms for Maximum Utility Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Evelina Lamma , Paola Mello , Michela Milano A Meta Constraint Logic Programming Architecture (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Pierre-Paul Mérel , Zineb Habbas , Francine Herrmann , Daniel Singer N-Ary Consistencies and Constraint-Based Backtracking. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane N'Dong , Michel Van Caneghem Global Behaviour for Complex Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Irina Rish , Rina Dechter To Guess or to Think? Hybrid Algorithms for SAT (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Vincent Schächter A Local Simplification Scheme for cc Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Gadi Solotorevsky From Evaluating Upper Bounds of the Complexity of Solving CSPs to Finding All the Solutions of CSPs. [Citation Graph (0, 0)][DBLP ] Conf ] Gadi Solotorevsky , Ehud Gudes , Amnon Meisels Modeling and Solving Distributed Constraint Satisfaction Problems (DCSPs). [Citation Graph (0, 0)][DBLP ] Conf ] Douglas R. Smith , Stephen J. Westfold Scheduling an Asynchronously Shared Resource. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Urbina The Generalized Railroad Crossing: Its Symbolic Analysis in CLP(R). [Citation Graph (0, 0)][DBLP ] Conf ] Jason H. Y. Wong , Kai-fai Ng , Ho-fung Leung A Stochastic Approach to Solving Fuzzy Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] George L. Nemhauser Branch-and-Price for Solving Integer Programs with a Huge Number of Variables: Methods and Applications (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Dina Q. Goldin Constraint Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Harry G. Mairson Complexity-Theoretic Aspects for Programming Language Design. [Citation Graph (0, 0)][DBLP ] Conf ] 