Search results for "CP"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Xi Yun, Susan L. Epstein	A Hybrid Paradigm for Adaptive Parallel Search.	CP	2012	DBLP DOI BibTeX RDF
1	Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva 0001	On Computing Minimal Equivalent Subformulas.	CP	2012	DBLP DOI BibTeX RDF
1	Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte 0001	Constraint-Based Register Allocation and Instruction Scheduling.	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	Domenico Salvagnin, Toby Walsh	A Hybrid MIP/CP Approach for Multi-activity Shift Scheduling.	CP	2012	DBLP DOI BibTeX RDF
1	Weiming Liu 0001, Sanjiang Li	Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning.	CP	2012	DBLP DOI BibTeX RDF
1	Thierry Petit	Focus : A Constraint for Concentrating High Costs.	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	Ignacio Castiñeiras, Milan De Cauwer, Barry O'Sullivan	Weibull-Based Benchmarks for Bin Packing.	CP	2012	DBLP DOI BibTeX RDF
1	Hanyu Gu, Peter J. Stuckey, Mark G. Wallace 0001	Maximising the Net Present Value of Large Resource-Constrained Projects.	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	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	Cédric Pralet, Gérard Verfaillie	Time-Dependent Simple Temporal Networks.	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	Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä	Classifying and Propagating Parity Constraints.	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	Hadrien Cambazard, Bernard Penz	A Constraint Programming Approach for the Traveling Purchaser Problem.	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	Matti Järvisalo, Arie Matsliah, Jakob Nordström, Stanislav Zivný	Relating Proof Complexity Measures and Practical Hardness of SAT.	CP	2012	DBLP DOI BibTeX RDF
1	Laurent Granvilliers	Adaptive Bisection of Numerical CSPs.	CP	2012	DBLP DOI BibTeX RDF
1	Miguel F. Anjos	Optimization Challenges in Smart Grid Operations.	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	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	Deepak Mehta 0001, Barry O'Sullivan, Helmut Simonis	Comparing Solution Methods for the Machine Reassignment 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	João Guerra, Inês Lynce	Reasoning over Biological Networks Using Maximum Satisfiability.	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	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	Kenil C. K. Cheng, Wei Xia, Roland H. C. Yap	Space-Time Tradeoffs for the Regular Constraint.	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	Alessandro Cimatti, Andrea Micheli, Marco Roveri	Solving Temporal Problems Using SMT: Strong Controllability.	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	Christophe Lecoutre, Olivier Roussel, Djamel E. Dehani	WCSP Integration of Soft Neighborhood Substitutability.	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	Kathryn Francis, Sebastian Brand, Peter J. Stuckey	Optimisation Modelling for Software Developers.	CP	2012	DBLP DOI BibTeX RDF
1	Mohammed Saïd Belaid, Claude Michel, Michel Rueher	Boosting Local Consistency Algorithms over Floating-Point Numbers.	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	Jean-Noël Monette, Pierre Flener, Justin Pearson	Towards Solver-Independent Propagators.	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	Ignasi Abío, Peter J. Stuckey	Conflict Directed Lazy Decomposition.	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	Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann	Parallel SAT Solver Selection and Scheduling.	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	George Katsirelos, Nina Narodytska, Toby Walsh	The SeqBin Constraint Revisited.	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	Geoffrey Chu, Peter J. Stuckey	Inter-instance Nogood Learning in Constraint Programming.	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	Geoffrey Chu, Peter J. Stuckey	A Generic Method for Identifying and Exploiting Dominance Relations.	CP	2012	DBLP DOI BibTeX RDF
1	Laurent D. Michel	Constraint Programming and a Usability Quest.	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	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	Michal Wrona	Syntactically Characterizing Local-to-Global Consistency in ORD-Horn.	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	Alessio Bonfietti, Michele Lombardi 0001	The Weighted Average Constraint.	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	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	George Katsirelos, Laurent Simon	Eigenvector Centrality in Industrial SAT Instances.	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	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	Emma Rollon, Javier Larrosa	Improved Bounded Max-Sum for Distributed Constraint Optimization.	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	Olivier Ponsini, Claude Michel, Michel Rueher	Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques.	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	Allen Van Gelder	Variable Independence and Resolution Paths for Quantified Boolean Formulas.	CP	2011	DBLP DOI BibTeX RDF
1	Siddhartha Jain 0001, Pascal Van Hentenryck	Large Neighborhood Search for Dial-a-Ride Problems.	CP	2011	DBLP DOI BibTeX RDF
1	Andrea Bartolini, Michele Lombardi 0001, Michela Milano, Luca Benini	Neuron Constraints to Model Complex Real-World Problems.	CP	2011	DBLP DOI BibTeX RDF
1	Samba Ndojh Ndiaye, Christine Solnon	CP Models for Maximum Common Subgraph Problems.	CP	2011	DBLP DOI BibTeX RDF
1	Jean-Charles Régin	Solving Problems with CP: Four Common Pitfalls to Avoid.	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	Muhammad Abdul Hakim Newton, Duc Nghia Pham, Abdul Sattar 0001, Michael J. Maher	Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation.	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
1	Christopher Jefferson, Karen E. Petrie	Automatic Generation of Constraints for Partial Symmetry Breaking.	CP	2011	DBLP DOI BibTeX RDF
1	David A. Cohen, Martin C. Cooper, Martin James Green, Dániel Marx	On Guaranteeing Polynomially Bounded Search Tree Size.	CP	2011	DBLP DOI BibTeX RDF
1	Leonardo Mendonça de Moura	Orchestrating Satisfiability Engines.	CP	2011	DBLP DOI BibTeX RDF
1	Michel P. Lefebvre, Jean-François Puget, Petr Vilím	Route Finder: Efficiently Finding k Shortest Paths Using Constraint Programming.	CP	2011	DBLP DOI BibTeX RDF
1	Nicolas Beldiceanu, Helmut Simonis	A Constraint Seeker: Finding and Ranking Global Constraints from Examples.	CP	2011	DBLP DOI BibTeX RDF
1	Alessio Bonfietti, Michele Lombardi 0001, Luca Benini, Michela Milano	A Constraint Based Approach to Cyclic RCPSP.	CP	2011	DBLP DOI BibTeX RDF
1	Toshihiro Matsui, Marius Silaghi 0001, Katsutoshi Hirayama, Makoto Yokoo, Boi Faltings, Hiroshi Matsuo	Reducing the Search Space of Resource Constrained DCOPs.	CP	2011	DBLP DOI BibTeX RDF
1	Alexandre Goldsztejn, Christophe Jermann, Vicente Ruiz de Angulo, Carme Torras	Symmetry Breaking in Numeric Constraint Problems.	CP	2011	DBLP DOI BibTeX RDF
1	Alexis De Clercq, Thierry Petit, Nicolas Beldiceanu, Narendra Jussien	Filtering Algorithms for Discrete Cumulative Problems with Overloads of Resource.	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	Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey	Half Reification and Flattening.	CP	2011	DBLP DOI BibTeX RDF
1	Jean-Guillaume Fages, Xavier Lorca	Revisiting the tree Constraint.	CP	2011	DBLP DOI BibTeX RDF
1	Runming Lu, Sheng Liu, Jian Zhang 0001	Searching for Doubly Self-orthogonal Latin Squares.	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	Mikolás Janota, João Marques-Silva 0001	On Deciding MUS Membership with QBF.	CP	2011	DBLP DOI BibTeX RDF
1	Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann	Algorithm Selection and Scheduling.	CP	2011	DBLP DOI BibTeX RDF
1	Weiming Liu 0001, Sheng-Sheng Wang 0001, Sanjiang Li, Dayou Liu	Solving Qualitative Constraints Involving Landmarks.	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	Roger Kameugne, Laure Pauline Fotso, Joseph D. Scott, Youcheu Ngo-Kateu	A Quadratic Edge-Finding Filtering Algorithm for Cumulative Resource Constraints.	CP	2011	DBLP DOI BibTeX RDF
1	Jessica Davies 0001, Fahiem Bacchus	Solving MAXSAT by Solving a Sequence of Simpler SAT Instances.	CP	2011	DBLP DOI BibTeX RDF
1	Barnaby Martin, Daniël Paulusma	The Computational Complexity of Disconnected Cut and 2K 2-Partition.	CP	2011	DBLP DOI BibTeX RDF
1	Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon	An Efficient Light Solver for Querying the Semantic Web.	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	Justin Yip, Pascal Van Hentenryck	Checking and Filtering Global Set Constraints.	CP	2011	DBLP DOI BibTeX RDF
1	Cédric Pralet, Gérard Verfaillie	Beyond QCSP for Solving Control Problems.	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	Martin C. Cooper, Stanislav Zivný	Tractable Triangles.	CP	2011	DBLP DOI BibTeX RDF
1	Serge Gaspers, Stefan Szeider	The Parameterized Complexity of Local Consistency.	CP	2011	DBLP DOI BibTeX RDF

Publications at "CP"( http://dblp.L3S.de/Venues/CP )