| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michela Milano (eds.) |
Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings  |
CP  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhu Zhu, Chu Min Li, Felip Manyà, Josep Argelich |
A New Encoding from MinSAT into MaxSAT. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Allouche, Seydou Traoré, Isabelle André, Simon de Givry, George Katsirelos, Sophie Barbe, Thomas Schiex |
Computational Protein Design as a Cost Function Network Optimization Problem. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessiere, Patricia Gutierrez, Pedro Meseguer |
Including Soft Global Constraints in DCOPs. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Armant, Laurent Simon, Philippe Dague |
Distributed Tree Decomposition with Privacy. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mehta, Barry O'Sullivan, Helmut Simonis |
Comparing Solution Methods for the Machine Reassignment Problem. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Olivier Roussel, Djamel E. Dehani |
WCSP Integration of Soft Neighborhood Substitutability. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | George Katsirelos, Laurent Simon |
Eigenvector Centrality in Industrial SAT Instances. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | João Guerra, Inês Lynce |
Reasoning over Biological Networks Using Maximum Satisfiability. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel F. Anjos |
Optimization Challenges in Smart Grid Operations. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadrien Cambazard, Bernard Penz |
A Constraint Programming Approach for the Traveling Purchaser Problem. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman |
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathryn Francis, Sebastian Brand, Peter J. Stuckey |
Optimisation Modelling for Software Developers. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä |
Classifying and Propagating Parity Constraints. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Schaus, Jean-Charles Régin, Rowan Van Schaeren, Wout Dullaert, Birger Raa |
Cardinality Reasoning for Bin-Packing Constraint: Application to a Tank Allocation Problem. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva |
On Computing Minimal Equivalent Subformulas. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed Said Belaid, Claude Michel, Michel Rueher |
Boosting Local Consistency Algorithms over Floating-Point Numbers. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Lang, Jérôme Mengin, Lirong Xia |
Aggregating Conditionally Lexicographic Preferences on Multi-issue Domains. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry, Christian Bessiere |
Revisiting Neighborhood Inverse Consistency on Binary CSPs. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville |
An Optimal Filtering Algorithm for Table Constraints. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Letort, Nicolas Beldiceanu, Mats Carlsson |
A Scalable Sweep Algorithm for the cumulative Constraint. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thiago Serra, Gilberto Nishioka, Fernando J. M. Marcellino |
The Offshore Resources Scheduling Problem: Detailing a Constraint Programming Approach. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenil C. K. Cheng, Wei Xia, Roland H. C. Yap |
Space-Time Tradeoffs for the Regular Constraint. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Distler, Christopher Jefferson, Tom Kelsey, Lars Kotthoff |
The Semigroups of Order 10. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alon Grubshtein, Amnon Meisels |
Finding a Nash Equilibrium by Asynchronous Backtracking. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Allen Van Gelder |
Contributions to the Theory of Practical Quantified Boolean Formula Solving. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Ponsini, Claude Michel, Michel Rueher |
Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignasi Abío, Peter J. Stuckey |
Conflict Directed Lazy Decomposition. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Andrea Micheli, Marco Roveri |
Solving Temporal Problems Using SMT: Strong Controllability. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Fagerberg, Christoph Flamm, Daniel Merkle, Philipp Peters |
Exploring Chemistry Using SMT. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | George Katsirelos, Nina Narodytska, Toby Walsh |
The SeqBin Constraint Revisited. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte |
Constraint-Based Register Allocation and Instruction Scheduling. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Chu, Peter J. Stuckey |
Inter-instance Nogood Learning in Constraint Programming. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Vismara, Remi Coletta |
Breaking Variable Symmetry in Almost Injective Problems. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Germain, Sébastien Giguère, Jean-Francis Roy, Brice Zirakiza, François Laviolette, Claude-Guy Quimper |
A Pseudo-Boolean Set Covering Machine. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Järvisalo, Arie Matsliah, Jakob Nordström, Stanislav Zivny |
Relating Proof Complexity Measures and Practical Hardness of SAT. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Wrona |
Syntactically Characterizing Local-to-Global Consistency in ORD-Horn. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Simonin, Christian Artigues, Emmanuel Hebrard, Pierre Lopez |
Scheduling Scientific Experiments on the Rosetta/Philae Mission. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Lallouet, Jimmy Ho-Man Lee, Terrence W. K. Mak |
Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimmy H. M. Lee, Jingying Li |
Increasing Symmetry Breaking by Preserving Target Symmetries. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny |
A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Florent R. Madelaine, Barnaby Martin |
Containment, Equivalence and Coreness from CSP to QCSP and Beyond. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy |
Improving SAT-Based Weighted MaxSAT Solvers. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hannes Uppman |
Max-Sur-CSP on Two Elements. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Audemard, Laurent Simon |
Refining Restarts Strategies for SAT and UNSAT. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Caro, Damien Chablat, Alexandre Goldsztejn, Daisuke Ishii, Christophe Jermann |
A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent D. Michel |
Constraint Programming and a Usability Quest. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Siert Wieringa |
Understanding, Improving and Parallelizing MUS Finding Using Model Rotation. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Pralet, Gérard Verfaillie |
Time-Dependent Simple Temporal Networks. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann |
Parallel SAT Solver Selection and Scheduling. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Beldiceanu, Helmut Simonis |
A Model Seeker: Extracting Global Constraint Models from Positive Examples. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Granvilliers |
Adaptive Bisection of Numerical CSPs. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Morin, Anika-Pascale Papillon, Irène Abi-Zeid, François Laviolette, Claude-Guy Quimper |
Constraint Programming for Path Planning with Uncertainty - Solving the Optimal Search Path Problem. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Geoffrey Chu, Peter J. Stuckey |
A Generic Method for Identifying and Exploiting Dominance Relations. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis |
Properties of Energy-Price Forecasts for Scheduling. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Salvagnin, Toby Walsh |
A Hybrid MIP/CP Approach for Multi-activity Shift Scheduling. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Bonfietti, Michele Lombardi |
The Weighted Average Constraint. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Siala 0002, Emmanuel Hebrard, Marie-José Huguet |
An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio Castiñeiras, Milan De Cauwer, Barry O'Sullivan |
Weibull-Based Benchmarks for Bin Packing. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary |
Propagating Soft Table Constraints. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiming Liu, Sanjiang Li |
Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto, Enrico Pontelli |
A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Gualandi, Federico Malucelli |
Resource Constrained Shortest Paths with a Super Additive Objective Function. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry O'Sullivan |
Where Are the Interesting Problems? |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xi Yun, Susan L. Epstein |
A Hybrid Paradigm for Adaptive Parallel Search. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo |
Interactive Algorithm for Multi-Objective Constraint Optimization. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Emma Rollon, Javier Larrosa |
Improved Bounded Max-Sum for Distributed Constraint Optimization. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Ontañón, Pedro Meseguer |
Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Noël Monette, Pierre Flener, Justin Pearson |
Towards Solver-Independent Propagators. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent D. Michel, Pascal Van Hentenryck |
Constraint Satisfaction over Bit-Vectors. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanyu Gu, Peter J. Stuckey, Mark G. Wallace |
Maximising the Net Present Value of Large Resource-Constrained Projects. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Petit |
Focus : A Constraint for Concentrating High Costs. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Samba Ndojh Ndiaye, Christine Solnon |
CP Models for Maximum Common Subgraph Problems. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddhartha Jain, Pascal Van Hentenryck |
Large Neighborhood Search for Dial-a-Ride Problems. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Mehta, Barry O'Sullivan, Luis Quesada |
Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matti Järvisalo |
On the Relative Efficiency of DPLL and OBDDs with Axiom and Join. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey |
Boolean Equi-propagation for Optimized SAT Encoding. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinsong Guo, Zhanshan Li, Liang Zhang, Xuena Geng |
MaxRPC Algorithms Based on Bitwise Operations. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey |
Search Combinators. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar, Michael J. Maher |
Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Serdar Kadioglu, Eoin O'Mahony, Philippe Refalo, Meinolf Sellmann |
Incorporating Variance in Impact-Based Search. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Barnaby Martin |
QCSP on Partially Reflexive Forests. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oswaldo Olivo, E. Allen Emerson |
A More Efficient BDD-Based QBF Solver. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Bonfietti, Michele Lombardi, Luca Benini, Michela Milano |
A Constraint Based Approach to Cyclic RCPSP. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Schutt, Peter J. Stuckey, Andrew R. Verden |
Optimal Carpet Cutting. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Verfaillie, Cédric Pralet |
Constraint Programming for Controller Synthesis. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Petit, Jean-Charles Régin, Nicolas Beldiceanu |
A Θ(n) Bound-Consistency Algorithm for the Increasing Sum Constraint. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emma Rollon, Javier Larrosa |
On Mini-Buckets and the Min-fill Elimination Ordering. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bartolini, Michele Lombardi, Michela Milano, Luca Benini |
Neuron Constraints to Model Complex Real-World Problems. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure |
A CSP Solver Focusing on fac Variables. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Makoto Yokoo, Boi Faltings |
Pseudo-Tree-Based Incomplete Algorithm for Distributed Constraint Optimization with Quality Bounds. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikolás Janota, João P. Marques Silva |
On Deciding MUS Membership with QBF. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Jefferson, Karen E. Petrie |
Automatic Generation of Constraints for Partial Symmetry Breaking. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jessica Davies, Fahiem Bacchus |
Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Diarmuid Grimes, Emmanuel Hebrard |
Models and Strategies for Variants of the Job Shop Scheduling Problem. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä |
Grid-Based SAT Solving with Iterative Partitioning and Clause Learning. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshihiro Matsui, Marius Silaghi, Katsutoshi Hirayama, Makoto Yokoo, Boi Faltings, Hiroshi Matsuo |
Reducing the Search Space of Resource Constrained DCOPs. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Jonsson, Fredrik Kuivinen, Johan Thapper |
Min CSP on Four Elements: Moving beyond Submodularity. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Cooper, Stanislav Zivny |
Tractable Triangles. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jimmy Ho-Man Lee (eds.) |
Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")