Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Chavalit Likitvivatanavong, Wei Xia, Roland H. C. Yap |
Higher-Order Consistencies through GAC on Factor Variables. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Miquel Bofill, Dídac Busquets, Mateu Villaret |
Reformulation Based MaxSAT Robustness - (Extended Abstract). |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Elsa Carvalho, Jorge Cruz 0001, Pedro Barahona |
Probabilistic Constraints for Nonlinear Inverse Problems - (Extended Abstract). |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | André A. Ciré, Willem-Jan van Hoeve |
Multivalued Decision Diagrams for Sequencing Problems - (Extended Abstract). |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Blet, Samba Ndojh Ndiaye, Christine Solnon |
Experimental Comparison of BTD and Intelligent Backtracking: Towards an Automatic Per-instance Algorithm Selector. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Schneider, Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere |
Improving Relational Consistency Algorithms Using Dynamic Relation Partitioning. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Amadini, Peter J. Stuckey |
Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper, Frederic Maris, Pierre Régnier |
Monotone Temporal Planning: Tractability, Extensions and Applications - (Extended Abstract). |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Salas, Gilles Chabert, Alexandre Goldsztejn |
The Non-overlapping Constraint between Objects Described by Non-linear Inequalities. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Levi H. S. Lelis, Lars Otten, Rina Dechter |
Memory-Efficient Tree Size Prediction for Depth-First Search in Graphical Models. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Chu, Peter J. Stuckey |
Nested Constraint Programs. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Morten Mossige, Arnaud Gotlieb, Hein Meling |
Using CP in Automatic Test Generation for ABB Robotics' Paint Control System. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maria Fox 0001 |
A Modular Architecture for Hybrid Planning with Theories. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini |
On Broken Triangles. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Robert Nieuwenhuis |
The IntSat Method for Integer Linear Programming. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Pralet, Charles Lesire |
Deployment of Mobile Wireless Sensor Networks for Crisis Management: A Constraint-Based Local Search Approach. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan, Émilie Picard-Cantin, Claude-Guy Quimper, Toby Walsh |
The Balance Constraint Family. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shuo Li 0002, Ahmed Hemani |
Case Study: Constraint Programming in a System Level Synthesis Framework. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian Schulte 0001, Guido Tack |
View-Based Propagator Derivation - (Extended Abstract). |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Perez, Jean-Charles Régin |
Improving GAC-4 for Table and MDD Constraints. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Umut Oztok, Adnan Darwiche |
On Compiling CNF into Decision-DNNF. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Jégou, Cyril Terrioux |
Tree-Decompositions with Connected Clusters for Solving Constraint Networks. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson |
Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ruben Martins, Saurabh Joshi 0001, Vasco M. Manquinho, Inês Lynce |
Incremental Cardinality Constraints for MaxSAT. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kathryn Francis, Peter J. Stuckey |
Loop Untangling. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marie Pelleau, Louis-Martin Rousseau, Pierre L'Ecuyer, Walid Zegal, Louis Delorme |
Scheduling Agents Using Forecast Call Arrivals at Hydro-Québec's Call Centers. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Régin, Mohamed Rezgui, Arnaud Malapert |
Improvement of the Embarrassingly Parallel Search for Data Centers. |
CP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Chuan Luo 0002, Shaowei Cai 0001, Wei Wu 0042, Kaile Su |
Focused Random Walk with Configuration Checking and Break Minimum for Satisfiability. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hadrien Cambazard, Deepak Mehta 0001, Barry O'Sullivan, Helmut Simonis |
Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Mann, Feras Nahar, Heinz Ekker, Rolf Backofen, Peter F. Stadler, Christoph Flamm |
Atom Mapping with Constraint Programming. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michela Milano |
Optimization for Policy Making: The Cornerstone for an Integrated Approach. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Gualandi, Michele Lombardi 0001 |
A Simple and Effective Decomposition for the Multidimensional Binpacking Constraint. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jun He 0001, Pierre Flener, Justin Pearson, Weiming Zhang 0003 |
Solving String Constraints: The Case for Constraint Programming. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Peter J. Stuckey |
To Encode or to Propagate? The Best Choice for Each Constraint in SAT. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Schaus, Renaud Hartert |
Multi-Objective Large Neighborhood Search. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Vismara, Remi Coletta, Gilles Trombettoni |
Constrained Wine Blending. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Reuven Naveh, Amit Metodi |
Beyond Feasibility: CP Usage in Constrained-Random Functional Hardware Verification. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Régin, Mohamed Rezgui, Arnaud Malapert |
Embarrassingly Parallel Search. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Bessiere, Hélène Fargier, Christophe Lecoutre |
Global Inverse Consistency for Interactive Constraint Satisfaction. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Radu Marinescu 0002, Abdul Razak, Nic Wilson |
Multi-Objective Constraint Optimization with Tradeoffs. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Schutt, Thibaut Feydy, Peter J. Stuckey |
Scheduling Optional Tasks with Explanation. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | M. A. Hakim Newton, Duc Nghia Pham, Wee Lum Tan, Marius Portmann, Abdul Sattar 0001 |
Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Van Hentenryck, Laurent Michel |
The Objective-CP Optimization System. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alex Fukunaga |
An Improved Search Algorithm for Min-Perturbation. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Graeme Gange, Peter J. Stuckey, Pascal Van Hentenryck |
Explaining Propagators for Edge-Valued Decision Diagrams. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Moisan, Jonathan Gaudreault, Claude-Guy Quimper |
Parallel Discrepancy-Based Search. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Chu, Peter J. Stuckey |
Dominance Driven Search. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kathryn Francis, Jorge A. Navas, Peter J. Stuckey |
Modelling Destructive Assignments. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi |
A Scalable Approximate Model Counter. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs, Jordi Levy |
Improving WPM2 for (Weighted) Partial MaxSAT. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Zampelli, Yannis Vergados, Rowan Van Schaeren, Wout Dullaert, Birger Raa |
The Berth Allocation and Quay Crane Assignment Problem Using a CP Approach. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Djamal Habet, Donia Toumi |
Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Luca Di Gaspero, Andrea Rendl, Tommaso Urli |
Constraint-Based Approaches for Balancing Bike Sharing Systems. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Amine Balafrej, Christian Bessiere, Remi Coletta, El-Houssine Bouyakhf |
Adaptive Parameterized Consistency. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Simon de Givry, Steven D. Prestwich, Barry O'Sullivan |
Dead-End Elimination for Weighted CSP. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Bulin, Dejan Delic, Marcel Jackson, Todd Niven |
On the Reduction of the CSP Dichotomy Conjecture to Digraphs. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter Jonsson, Victor Lagerkvist, Gustav Nordh |
Blowing Holes in Various Aspects of Computational Problems, with Applications to Constraint Satisfaction. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Torsten Schaub |
Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jessica Davies 0001, Fahiem Bacchus |
Postponing Optimization to Speed Up MAXSAT Solving. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Beldiceanu, Georgiana Ifrim, Arnaud Lenoir, Helmut Simonis |
Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Gutierrez, Jimmy Ho-Man Lee, Ka Man Lei, Terrence W. K. Mak, Pedro Meseguer |
Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wei Xia, Roland H. C. Yap |
Optimizing STR Algorithms with Tuple Compression. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Wahbi, Redouane Ezzahir, Christian Bessiere |
Asynchronous Forward Bounding Revisited. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Moffitt |
Multidimensional Bin Packing Revisited. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian Schulte 0001 (eds.) |
Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Allen Van Gelder |
Primal and Dual Encoding from Applications into Quantified Boolean Formulas. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Josep Argelich, Chu Min Li, Felip Manyà, Zhu Zhu |
MinSAT versus MaxSAT for Optimization Problems. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ana Paula Tomás, José Paulo Leal |
Automatic Generation and Delivery of Multiple-Choice Math Quizzes. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Steven D. Prestwich, Marco Laumanns, Ban Kawas |
Value Interchangeability in Scenario Generation. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | François Pelsser, Pierre Schaus, Jean-Charles Régin |
Revisiting the Cardinality Reasoning for BinPacking Constraint. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ozgur Akgun, Alan M. Frisch, Ian P. Gent, Bilal Syed Hussain, Christopher Jefferson, Lars Kotthoff, Ian Miguel, Peter Nightingale |
Automated Symmetry Breaking and Model Selection in Conjure. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Evgenij Thorstensen |
Lifting Structural Tractability to CSP with Global Constraints. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer |
Bandit-Based Search for Constraint Programming. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Noël Monette, Nicolas Beldiceanu, Pierre Flener, Justin Pearson |
A Parametric Propagator for Discretely Convex Pairs of Sum Constraints. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nina Narodytska, Toby Walsh |
Breaking Symmetry with Different Orderings. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Quoc Trung Bui, Quang-Dung Pham, Yves Deville |
Solving the Agricultural Land Allocation Problem by Constraint-Based Local Search. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Stuckey |
Those Who Cannot Remember the Past Are Condemned to Repeat It. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pascal Van Hentenryck |
Decide Different! |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Simon Brockbank, Gilles Pesant, Louis-Martin Rousseau |
Counting Spanning Trees to Guide Search in Constrained Spanning Tree Problems. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mikael Z. Lagerkvist, Martin Nordkvist, Magnus Rattfeldt |
Laser Cutting Path Planning Using CP. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gregory J. Duck, Joxan Jaffar, Nicolas C. H. Koh |
Constraint-Based Program Reasoning with Heaps and Separation. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Erin Delisle, Fahiem Bacchus |
Solving Weighted CSPs by Successive Relaxations. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paul Scott 0002, Sylvie Thiébaux, Menkes van den Briel, Pascal Van Hentenryck |
Residential Demand Response under Uncertainty. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | David A. Cohen, Peter G. Jeavons, Evgenij Thorstensen, Stanislav Zivný |
Tractable Combinations of Global Constraints. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck |
Model Combinators for Hybrid Optimization. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guillaume Fages, Tanguy Lapègue |
Filtering AtMostNValue with Difference Constraints: Application to the Shift Minimisation Personnel Task Scheduling Problem. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Ouellet, Claude-Guy Quimper |
Time-Table Extended-Edge-Finding for the Cumulative Constraint. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Leo, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
Globalizing Constraint Models. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | William Klieber, Mikolás Janota, João Marques-Silva 0001, Edmund M. Clarke |
Solving QBF with Free Variables. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Goldsztejn, Laurent Granvilliers, Christophe Jermann |
Constraint Based Computation of Periodic Orbits of Chaotic Dynamical Systems. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ignasi Abío, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell |
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints. |
CP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michele Lombardi 0001, Stefano Gualandi |
A New Propagator for Two-Layer Neural Networks in Empirical Model Learning. |
CP |
2013 |
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 | Gilles Audemard, Laurent Simon |
Refining Restarts Strategies for SAT and UNSAT. |
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 | Jimmy Ho-Man Lee, Jingying Li |
Increasing Symmetry Breaking by Preserving Target Symmetries. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hannes Uppman |
Max-Sur-CSP on Two Elements. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper, Guillaume Escamocher, Stanislav Zivný |
A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP. |
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 | Barry O'Sullivan |
Where Are the Interesting Problems? |
CP |
2012 |
DBLP DOI BibTeX RDF |
|