Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ignacio Araya 0001, Gilles Trombettoni, Bertrand Neveu |
Filtering Numerical CSPs Using Well-Constrained Subsystems. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Meinolf Sellmann |
On Decomposing Knapsack Constraints for Length-Lex Bounds Consistency. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Knot Pipatsrisawat, Adnan Darwiche |
On the Power of Clause-Learning SAT Solvers with Restarts. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Huczynska, Paul McKay, Ian Miguel, Peter Nightingale |
Modelling Equidistant Frequency Permutation Arrays: An Application of Constraints to Mathematics. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | François Fages, Aurélien Rizk |
From Model-Checking to Temporal Logic Constraint Solving. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Papadopoulos, Barry O'Sullivan |
Compiling All Possible Conflicts of a CSP. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ronan LeBras, Alessandro Zanarini, Gilles Pesant |
Efficient Generic Search Heuristics within the EMBP Framework. |
CP |
2009 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction, Expectation Maximization, Probabilistic Reasoning, Belief Propagation, Search Heuristics |
1 | David Stynes, Kenneth N. Brown |
Realtime Online Solving of Quantified CSPs. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ian P. Gent (eds.) |
Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Baptiste |
Constraint-Based Schedulers, Do They Really Work? |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Petr Vilím |
Edge Finding Filtering Algorithm for Discrete Cumulative Resources in O(kn log n){\mathcal O}(kn {\rm log} n). |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Anika Schumann, Martin Sachenbacher, Jinbo Huang |
Constraint-Based Optimal Testing Using DNNF Graphs. |
CP |
2009 |
DBLP DOI BibTeX RDF |
DNNF graphs, Algorithms, testing, applications |
1 | Michael J. Maher |
SOGgy Constraints: Soft Open Global Constraints. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Chu, Christian Schulte 0001, Peter J. Stuckey |
Confidence-Based Work Stealing in Parallel Constraint Programming. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Simonis |
A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck |
Online Selection of Quorum Systems for RAMBO Reconfiguration. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon |
Constraint-Based Graph Matching. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Hebrard, Dániel Marx, Barry O'Sullivan, Igor Razgon |
Constraints of Difference and Equality: A Complete Taxonomic Characterisation. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Ansótegui, Meinolf Sellmann, Kevin Tierney |
A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Loewenstern |
Scheduling the CB1000 Nanoproteomic Analysis System with Python, Tailor, and Minion. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Ohta, Vincent Conitzer, Ryo Ichimura, Yuko Sakurai, Atsushi Iwasaki, Makoto Yokoo |
Coalition Structure Generation Utilizing Compact Characteristic Function Representations. |
CP |
2009 |
DBLP DOI BibTeX RDF |
coalition structure generation, Multiagent systems, constraint optimization |
1 | Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace 0001 |
Why Cumulative Decomposition Is Not as Bad as It Sounds. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni |
Solving Nurse Rostering Problems Using Soft Global Constraints. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christian Bessiere, Emmanuel Hebrard, Barry O'Sullivan |
Minimising Decision Tree Size as Combinatorial Optimisation. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yevgeny Schreiber |
Cost-Driven Interactive CSP with Constraint Relaxation. |
CP |
2009 |
DBLP DOI BibTeX RDF |
Cost-Driven Interactive CSP, ICSP, Functional Test Generation, Constraint Relaxation |
1 | Magnus Ågren 0002 |
Memoisation for Constraint-Based Local Search. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alan M. Frisch, Peter J. Stuckey |
The Proper Treatment of Undefinedness in Constraint Languages. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
An Interpolation Method for CLP Traversal. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thibaut Feydy, Peter J. Stuckey |
Lazy Clause Generation Reengineered. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Tarik Hadzic, Alan Holland, Barry O'Sullivan |
Reasoning about Optimal Collections of Solutions. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Carla P. Gomes |
Challenges for Constraint Reasoning and Optimization in Computational Sustainability. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Chu, Peter J. Stuckey |
Minimizing the Maximum Number of Open Stacks by Customer Search. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Konstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov |
Conflict Resolution. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Chabert, Luc Jaulin |
Hull Consistency under Monotonicity. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michele Lombardi 0001, Michela Milano |
A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Chabert, Luc Jaulin, Xavier Lorca |
A Constraint on the Number of Distinct Vectors with Application to Localization. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Justin Yip, Pascal Van Hentenryck |
Evaluation of Length-Lex Set Variables. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Aurélie Favier, Simon de Givry, Philippe Jégou |
Exploiting Problem Structure for Solution Counting. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Pralet, Gérard Verfaillie |
Slice Encoding for Constraint-Based Planning. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Lecoutre, Olivier Roussel |
Failed Value Consistencies for Constraint Satisfaction. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Radu Marinescu 0002 |
Exploiting Problem Decomposition in Multi-objective Constraint Optimization. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda |
Using Relaxations in Maximum Density Still Life. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Meinolf Sellmann, Serdar Kadioglu |
Dichotomic Search Protocols for Constrained Optimization. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Wanxia Wei, Chu Min Li, Harry Zhang |
Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Maher, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
Flow-Based Propagators for the SEQUENCE and Related Global Constraints. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | András Z. Salamon, Peter G. Jeavons |
Perfect Constraints Are Tractable. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Karen E. Petrie, Christopher Jefferson |
Efficiently Solving Problems Where the Solutions Form a Group. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
A Coinduction Rule for Entailment of Recursively Defined Properties. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Arnaldo Vieira Moura, Cid C. de Souza, André A. Ciré, Tony Minoru Tamura Lopes |
Planning and Scheduling the Operation of a Very Large Oil Pipeline Network. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou |
A Branch and Bound Algorithm for Numerical MAX-CSP. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Audemard, Laurent Simon |
Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Reza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace 0001 |
Adding Search to Zinc. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kenil C. K. Cheng, Roland H. C. Yap |
Search Space Reduction for Constraint Optimization Problems. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Daniel S. Heller, Aurojit Panda, Meinolf Sellmann, Justin Yip |
Model Restarts for Structural Symmetry Breaking. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Iván Dotú, Manuel Cebrián, Pascal Van Hentenryck, Peter Clote |
Protein Structure Prediction with Large Neighborhood Constraint Programming Search. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kenil C. K. Cheng, Roland H. C. Yap |
Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jinbo Huang |
Universal Booleanization of Constraint Models. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mats Carlsson, Nicolas Beldiceanu, Julien Martin |
A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yuanlin Zhang 0002, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti |
An Elimination Algorithm for Functional Constraints. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Lars Otten, Rina Dechter |
Refined Bounds for Instance-Based Search Complexity of Counting and Other #P Problems. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Verger, Christian Bessiere |
Guiding Search in QCSP+ with Back-Propagation. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Martin James Green, Christopher Jefferson |
Structural Tractability of Propagated Constraints. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Frank Raiser |
Semi-automatic Generation of CHR Solvers for Global Constraints. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Abid M. Malik, Michael Chase, Tyrel Russell, Peter van Beek |
An Application of Constraint Programming to Superblock Instruction Scheduling. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck |
CPBPV: A Constraint-Programming Framework for Bounded Program Verification. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Lecoutre |
Optimization of Simple Tabular Reduction for Table Constraints. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Goldsztejn, Laurent Granvilliers |
A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Rossi 0002, Armagan Tarim, Brahim Hnich, Steven D. Prestwich |
Cost-Based Domain Filtering for Stochastic Constraint Programming. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Kitching, Fahiem Bacchus |
Exploiting Decomposition in Constraint Optimization Problems. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Papadopoulos, Barry O'Sullivan |
Relaxations for Compiled Over-Constrained Problems. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Diego Rodrigues, Philippe Michelon, Manoel B. Campêlo |
Recent Hybrid Techniques for the Multi-Knapsack Problem. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Stuckey (eds.) |
Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Gregory, Maria Fox 0001, Derek Long |
A New Empirical Study of Weak Backdoors. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes |
Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Steven Halim, Roland H. C. Yap, Felix Halim |
Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marco Correia, Pedro Barahona |
On the Efficiency of Impact Based Heuristics. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David Lesaint, Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001, Nic Wilson |
Solving a Telecommunications Feature Subscription Configuration Problem. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Goldsztejn, Yahia Lebbah, Claude Michel, Michel Rueher |
Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu |
Edge Matching Puzzles as Hard SAT/CSP Benchmarks. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marco Benedetti, Arnaud Lallouet, Jérémie Vautard |
Quantified Constraint Optimization. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Hebrard, Barry O'Sullivan, Igor Razgon |
A Soft Constraint of Equality: Complexity and Approximability. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu |
From High Girth Graphs to Hard Instances. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith |
Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tarik Hadzic, John N. Hooker, Barry O'Sullivan, Peter Tiedemann |
Approximate Compilation of Constraints into Multivalued Decision Diagrams. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Malitsky, Meinolf Sellmann, Willem Jan van Hoeve |
Length-Lex Bounds Consistency for Knapsack Constraints. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Anbulagan, Adi Botea |
Crossword Puzzles as a Constraint Problem. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Hadrien Cambazard, Barry O'Sullivan |
Reformulating Positive Table Constraints Using Functional Dependencies. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luca Benini, Michele Lombardi 0001, Michela Milano, Martino Ruggiero |
A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ismel Brito, Pedro Meseguer |
Connecting ABT with Arc Consistency. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea |
Computing All Optimal Solutions in Satisfiability Problems with Preferences. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Helmut Simonis, Barry O'Sullivan |
Search Strategies for Rectangle Packing. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vibhav Gogate, Rina Dechter |
Approximate Solution Sampling (and Counting) on AND/OR Spaces. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mirco Gelain, Maria Silvia Pini, Francesca Rossi 0001, Kristen Brent Venable, Toby Walsh |
Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental Studies. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christian Schulte 0001, Guido Tack |
Perfect Derived Propagators. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stanislav Zivný, Peter Jeavons 0001 |
Classes of Submodular Constraints Expressible by Graph Cuts. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Dalila Boughaci, Belaid Benhamou, Habiba Drias |
Stochastic Local Search for the Optimal Winner Determination Problem in Combinatorial Auctions. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | T. K. Satish Kumar |
A Framework for Hybrid Tractability Results in Boolean Weighted Constraint Satisfaction Problems. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alain Colmerauer |
Back to the Complexity of Universal Programs. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Martin Sachenbacher, Paul Maier |
Test Strategy Generation Using Quantified CSPs. |
CP |
2008 |
DBLP DOI BibTeX RDF |
adversarial planning, quantified CSPs, Test generation |
1 | Ignacio Araya 0001, Bertrand Neveu, Gilles Trombettoni |
Exploiting Common Subexpressions in Numerical CSPs. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|