Conferences in DBLP
Andreas Podelski Constraints in Program Analysis and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Francois Puget Constraint Programming Next Challenge: Simplicity of Use. [Citation Graph (0, 0)][DBLP ] Conf ] Bart Selman Algorithmic Adventures at the Interface of Computer Science, Statistical Physics, and Combinatorics. [Citation Graph (0, 0)][DBLP ] Conf ] Helmut Simonis Challenges for Constraint Programming in Networking. [Citation Graph (0, 0)][DBLP ] Conf ] Yong Gao , Joseph C. Culberson Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness. [Citation Graph (0, 0)][DBLP ] Conf ] Carla P. Gomes , Cèsar Fernández , Bart Selman , Christian Bessière Statistical Regimes Across Constrainedness Regions. [Citation Graph (0, 0)][DBLP ] Conf ] Pascal Van Hentenryck , Laurent Michel , Liyuan Liu Constraint-Based Combinators for Local Search. [Citation Graph (0, 0)][DBLP ] Conf ] Petr Vilím , Roman Barták , Ondrej Cepek Unary Resource Constraint with Optional Activities. [Citation Graph (0, 0)][DBLP ] Conf ] Albert Atserias , Phokion G. Kolaitis , Moshe Y. Vardi Constraint Propagation as a Proof System. [Citation Graph (0, 0)][DBLP ] Conf ] J. Christopher Beck , Tom Carchrae , Eugene C. Freuder , Georg Ringwelski Backtrack-Free Search for Real-Time Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Beldiceanu , Mats Carlsson , Thierry Petit Deriving Filtering Algorithms from Constraint Checkers. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Bessière , Remi Coletta , Eugene C. Freuder , Barry O'Sullivan Leveraging the Learning Power of Examples in Automated Constraint Acquisition. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Bessière , Emmanuel Hebrard , Brahim Hnich , Toby Walsh Disjoint, Partition and Intersection Constraints for Set and Multiset Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Hadrien Cambazard , Pierre-Emmanuel Hladik , Anne-Marie Déplanche , Narendra Jussien , Yvon Trinquet Decomposition and Learning for a Hard Real Time Task Allocation Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Hubie Chen Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms. [Citation Graph (0, 0)][DBLP ] Conf ] Hubie Chen , Víctor Dalmau (Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent A. Cicirello , Stephen F. Smith Heuristic Selection for Stochastic Search Optimization: Modeling Solution Quality by Extreme Value Theory. [Citation Graph (0, 0)][DBLP ] Conf ] David A. Cohen , Martin C. Cooper , Peter Jeavons A Complete Characterization of Complexity for Boolean Constraint Optimization Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Flener , Justin Pearson , Luis G. Reyna Financial Portfolio Optimisation. [Citation Graph (0, 0)][DBLP ] Conf ] Jeremy Frank Bounding the Resource Availability of Partially Ordered Events with Constant Resource Impact. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Giunchiglia , Massimo Narizzano , Armando Tacchella Monotone Literals and Learning in QBF Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Carla P. Gomes , Meinolf Sellmann Streamlined Constraint Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Lars Hellsten , Gilles Pesant , Peter van Beek A Domain Consistency Algorithm for the Stretch Constraint. [Citation Graph (0, 0)][DBLP ] Conf ] John N. Hooker A Hybrid Method for Planning and Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Kalev Kask , Rina Dechter , Vibhav Gogate Counting-Based Look-Ahead Schemes for Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] András Kovács , József Váncza Completable Partial Solutions in Constraint Programming and Constraint-Based Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Vitaly Lagoon , Peter J. Stuckey Set Domain Propagation Using ROBDDs. [Citation Graph (0, 0)][DBLP ] Conf ] Yat Chiu Law , Jimmy Ho-Man Lee Global Constraints for Integer and Set Value Precedence. [Citation Graph (0, 0)][DBLP ] Conf ] Lucian Leahu , Carla P. Gomes Quality of LP-Based Approximations for Highly Combinatorial Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Nikos Mamoulis , Kostas Stergiou Constraint Satisfaction in Semi-structured Data Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Paul H. Morris , Robert A. Morris , Lina Khatib , Sailesh Ramakrishnan , Andrew Bachmann Strategies for Global Optimization of Temporal Preferences. [Citation Graph (0, 0)][DBLP ] Conf ] Bertrand Neveu , Gilles Trombettoni , Fred Glover ID Walk: A Candidate List Strategy with a Simple Diversification Device. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Nudelman , Kevin Leyton-Brown , Holger H. Hoos , Alex Devkar , Yoav Shoham Understanding Random SAT: Beyond the Clauses-to-Variables Ratio. [Citation Graph (0, 0)][DBLP ] Conf ] Guoqiang Pan , Moshe Y. Vardi Symbolic Decision Procedures for QBF. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Perron , Paul Shaw , Vincent Furnon Propagation Guided Large Neighborhood Search. [Citation Graph (0, 0)][DBLP ] Conf ] Gilles Pesant A Regular Language Membership Constraint for Finite Sequences of Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Nicola Policella , Angelo Oddi , Stephen F. Smith , Amedeo Cesta Generating Robust Partial Order Schedules. [Citation Graph (0, 0)][DBLP ] Conf ] Steven David Prestwich Full Dynamic Substitutability by SAT Encoding. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Francois Puget Improved Bound Computation in Presence of Several Clique Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Claude-Guy Quimper , Alejandro López-Ortiz , Peter van Beek , Alexander Golynski Improved Algorithms for the Global Cardinality Constraint. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Refalo Impact-Based Search Strategies for Constraint Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Charles Régin , Carla P. Gomes The Cardinality Matrix Constraint. [Citation Graph (0, 0)][DBLP ] Conf ] Francesca Rossi , Kristen Brent Venable , Neil Yorke-Smith Controllability of Soft Temporal Constraint Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Sadler , Carmen Gervet Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Schulte , Peter J. Stuckey Speeding Up Constraint Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Meinolf Sellmann Theoretical Foundations of CP-Based Lagrangian Relaxation. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Shaw A Constraint for Bin Packing. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Thiffault , Fahiem Bacchus , Toby Walsh Solving Non-clausal Formulas with DPLL Search. [Citation Graph (0, 0)][DBLP ] Conf ] Willem Jan van Hoeve A Hyper-arc Consistency Algorithm for the Soft Alldifferent Constraint. [Citation Graph (0, 0)][DBLP ] Conf ] Zhao Xing , Weixiong Zhang Efficient Strategies for (Weighted) Maximum Satisfiability. [Citation Graph (0, 0)][DBLP ] Conf ] Syed Muhammad Ali , Sven Koenig , Milind Tambe Preprocessing Techniques for Distributed Constraint Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] J. Christopher Beck , Patrick Prosser , Richard J. Wallace Variable Ordering Heuristics Show Promise. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Bessière , Emmanuel Hebrard , Brahim Hnich , Toby Walsh The Tractability of Global Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Frédéric Boussemart , Fred Hemery , Christophe Lecoutre , Lakhdar Sais Support Inference for Generic Filtering. [Citation Graph (0, 0)][DBLP ] Conf ] Wilhelm Cronholm , Farid Ajili Strong Cost-Based Filtering for Lagrange Decomposition Applied to Network Design. [Citation Graph (0, 0)][DBLP ] Conf ] Rina Dechter , Robert Mateescu The Impact of AND/OR Search Spaces on Constraint Satisfaction and Counting. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaofei Huang A General Extension of Constraint Propagation for Constraint Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Haixia Jia , Cristopher Moore How Much Backtracking Does It Take to Color Random Graphs? Rigorous Results on Heavy Tails. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Lim , Brian Rodrigues , Zhou Xu Solving the Crane Scheduling Problem Using Intelligent Search Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Nikos Mamoulis , Kostas Stergiou Algorithms for Quantified Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Martí Sánchez , Pedro Meseguer , Javier Larrosa Improving the Applicability of Adaptive Consistency: Preliminary Results. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Sachenbacher , Brian C. Williams On-Demand Bound Computation for Best-First Constraint Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel Surynek , Roman Barták A New Algorithm for Maintaining Arc Consistency After Constraint Retraction. [Citation Graph (0, 0)][DBLP ] Conf ] Marc R. C. van Dongen Computing the Frequency of Partial Orders. [Citation Graph (0, 0)][DBLP ] Conf ] Yuanlin Zhang On Tightness of Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Roie Zivan , Amnon Meisels Concurrent Dynamic Backtracking for Distributed CSPs. [Citation Graph (0, 0)][DBLP ] Conf ] Magnus Ågren Set Variables and Local Search. [Citation Graph (0, 0)][DBLP ] Conf ] Konstantin Artiouchine N-Kings for Dynamic Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Brand Relation Variables in Qualitative Spatial Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Ismel Brito Synchronous, Asynchronous and Hybrid Algorithms for DisCSP. [Citation Graph (0, 0)][DBLP ] Conf ] Tom Carchrae Long-Term Learning for Algorithm Control. [Citation Graph (0, 0)][DBLP ] Conf ] Tien Ba Dinh Solution Extraction with the "Critical Path" in Graphplan-Based Optimal Temporal Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Cormac Gebruers , Alessio Guerri Machine Learning for Portfolio Selection Using Structure at the Instance Level. [Citation Graph (0, 0)][DBLP ] Conf ] Joel M. Gompert Local Search with Maximal Independent Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Venkata Praveen Guddeti A Dynamic Restart Strategy for Randomized BT Search. [Citation Graph (0, 0)][DBLP ] Conf ] Tarik Hadzic A BDD-Based Approach to Interactive Configuration. [Citation Graph (0, 0)][DBLP ] Conf ] Emmanuel Hebrard Extending Super-solutions. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Jefferson Choosing Efficient Representations of Abstract Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Li A Hypergraph Separator Based Variable Ordering Heuristic for Solving Real World SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Roland Martin Exploiting Symmetries via Permutations for PC Board Manufacturing. [Citation Graph (0, 0)][DBLP ] Conf ] Tomás Müller Iterative Forward Search Algorithm: Combining Local Search with Maintaining Arc Consistency and a Conflict-Based Statistics. [Citation Graph (0, 0)][DBLP ] Conf ] María del Pilar Muñoz , Andrés René Hurtado Programming Robotic Devices with a Timed Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP ] Conf ] Adrian Petcu Heuristics for the Distributed Breakout Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Guillaume Rochart Explanations and Numeric CSPs. [Citation Graph (0, 0)][DBLP ] Conf ] Kristen Brent Venable Softly Constrained CP Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Alfio Vidotto Online Constraint Solving and Rectangle Packing. [Citation Graph (0, 0)][DBLP ] Conf ] Christine Wei Wu Modelling Chemical Reactions Using Constraint Programming and Molecular Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Zoeteweij Constraining Special-Purpose Domain Types. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Bachmann , Tania Bedrax-Weiss , Jeremy Frank , Michael Iatauro , Conor McGann , Will Taylor PLASMA: A Constraint Based Planning Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Owen Bourne , Abdul Sattar Applying Constraint Satisfaction Techniques to 3D Camera Control. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Brodsky , Xiaoyang Sean Wang Adaptive Enterprise Optimization Framework: AEO Server and AEO Studio. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Francisco Díaz , Gustavo Gutierrez , Carlos Alberto Olarte , Camilo Rueda CRE2: A CP Application for Reconfiguring a Power Distribution Network for Power Losses Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Keith Golden , Wanlin Pang A Constraint-Based Planner Applied to Data Processing Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Rune M. Jensen CLab: A C++ Library for Fast Backtrack-Free Interactive Product Configuration.. [Citation Graph (0, 0)][DBLP ] Conf ] Ryan Lim , Venkata Praveen Guddeti , Berthe Y. Choueiry A Constraint-Based System for Hiring and Managing Graduate Teaching Assistants. [Citation Graph (0, 0)][DBLP ] Conf ] Marius-Calin Silaghi , Vaibhav Rajeshirke , Richard J. Wallace A Web-Based Meeting Scheduling Solver With Privacy Guarantees, Without Trusted Servers. [Citation Graph (0, 0)][DBLP ] Conf ] Neng-Fa Zhou A Constraint-Based Graphics Library for B-Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] 