Search results for "CP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Oswaldo Olivo, E. Allen Emerson	A More Efficient BDD-Based QBF Solver.	CP	2011	DBLP DOI BibTeX RDF
1	Jean-François Condotta, Christophe Lecoutre	A Framework for Decision-Based Consistencies.	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	Matti Järvisalo	On the Relative Efficiency of DPLL and OBDDs with Axiom and Join.	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	Ronan LeBras, Theodoros Damoulas, John M. Gregoire, Ashish Sabharwal, Carla P. Gomes, R. Bruce van Dover	Constraint Reasoning and Kernel Clustering for Pattern Decomposition with Scaling.	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	Andreas Schutt, Peter J. Stuckey, Andrew R. Verden	Optimal Carpet Cutting.	CP	2011	DBLP DOI BibTeX RDF
1	Fabien Hermenier, Sophie Demassey, Xavier Lorca	Bin Repacking Scheduling in Virtualized Datacenters.	CP	2011	DBLP DOI BibTeX RDF
1	Martin C. Cooper, Stanislav Zivný	Hierarchically Nested Convex VCSP.	CP	2011	DBLP DOI BibTeX RDF
1	Georg Gottlob	On Minimal Constraint Networks.	CP	2011	DBLP DOI BibTeX RDF
1	Páidí Creed, Stanislav Zivný	On Minimal Weighted Clones.	CP	2011	DBLP DOI BibTeX RDF
1	Nic Wilson, Walid Trabelsi	Pruning Rules for Constrained Optimisation for Conditional Preferences.	CP	2011	DBLP DOI BibTeX RDF
1	Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001	Value Ordering for Finding All Solutions: Interactions with Adaptive Variable Ordering.	CP	2011	DBLP DOI BibTeX RDF
1	Samir A. Mohamed Elsayed, Laurent Michel	Synthesis of Search Algorithms from High-Level CP Models.	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	Venkatesh Ramamoorthy, Marius-Calin Silaghi, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo	The Design of Cryptographic S-Boxes Using CSPs.	CP	2011	DBLP DOI BibTeX RDF
1	Tivadar Papai, Parag Singla, Henry A. Kautz	Constraint Propagation for Efficient Inference in Markov Logic.	CP	2011	DBLP DOI BibTeX RDF
1	Barnaby Martin	QCSP on Partially Reflexive Forests.	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	Laurent Perron	Operations Research and Constraint Programming at Google.	CP	2011	DBLP DOI BibTeX RDF
1	Marie Pelleau, Charlotte Truchet, Frédéric Benhamou	Octagonal Domains for Continuous Constraints.	CP	2011	DBLP DOI BibTeX RDF
1	Gianluigi Greco, Francesco Scarcello	Structural Tractability of Constraint Optimization.	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	Martin Stølevik, Tomas Eric Nordlander, Atle Riise, Helle Frøyseth	A Hybrid Approach for Solving Real-World Nurse Rostering Problems.	CP	2011	DBLP DOI BibTeX RDF
1	Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace 0001	Proving Symmetries by Model Transformation.	CP	2011	DBLP DOI BibTeX RDF
1	Russell Bent, Pascal Van Hentenryck	Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows.	CP	2010	DBLP DOI BibTeX RDF
1	Michaël Soulignac, Michel Rueher, Patrick Taillibert	A Safe and Flexible CP-Based Approach for Velocity Tuning Problems.	CP	2010	DBLP DOI BibTeX RDF
1	Gilles Chabert, Nicolas Beldiceanu	Sweeping with Continuous Domains.	CP	2010	DBLP DOI BibTeX RDF
1	Yves Deville, Pascal Van Hentenryck	Domain Consistency with Forbidden Values.	CP	2010	DBLP DOI BibTeX RDF
1	Andreas Bauer 0002, Viorica Botea, Mark Brown, Matt Gray, Daniel Harabor, John K. Slaney	An Integrated Modelling, Debugging, and Visualisation Environment for G12.	CP	2010	DBLP DOI BibTeX RDF
1	Ignacio Araya 0001, Gilles Trombettoni, Bertrand Neveu	Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity.	CP	2010	DBLP DOI BibTeX RDF
1	Roberto Castañeda Lozano, Christian Schulte 0001, Lars Wahlberg	Testing Continuous Double Auctions with a Constraint-Based Oracle.	CP	2010	DBLP DOI BibTeX RDF
1	Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou 0001, Toby Walsh	Improving the Performance of maxRPC.	CP	2010	DBLP DOI BibTeX RDF
1	George Katsirelos, Nina Narodytska, Toby Walsh	On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry.	CP	2010	DBLP DOI BibTeX RDF
1	Karl Sundequist Blomdahl, Pierre Flener, Justin Pearson	Contingency Plans for Air Traffic Management.	CP	2010	DBLP DOI BibTeX RDF
1	Samid Hoda, Willem Jan van Hoeve, John N. Hooker	A Systematic Approach to MDD-Based Constraint Programming.	CP	2010	DBLP DOI BibTeX RDF
1	Jussi Rintanen	Heuristics for Planning with SAT.	CP	2010	DBLP DOI BibTeX RDF
1	Moshe Y. Vardi	Constraints, Graphs, Algebra, Logic, and Complexity.	CP	2010	DBLP DOI BibTeX RDF
1	Florent R. Madelaine	On the Containment of Forbidden Patterns Problems.	CP	2010	DBLP DOI BibTeX RDF
1	Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah	On Testing Constraint Programs.	CP	2010	DBLP DOI BibTeX RDF
1	Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck	Load Balancing and Almost Symmetries for RAMBO Quorum Hosting.	CP	2010	DBLP DOI BibTeX RDF
1	Bruno Marre, Claude Michel	Improving the Floating Point Addition and Subtraction Constraints.	CP	2010	DBLP DOI BibTeX RDF
1	David Lesaint, Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001, Nic Wilson	Context-Sensitive Call Control Using Constraints and Rules.	CP	2010	DBLP DOI BibTeX RDF
1	Kiyan Ahmadizadeh, Bistra Dilkina, Carla P. Gomes, Ashish Sabharwal	An Empirical Study of Optimization for Maximizing Diffusion in Networks.	CP	2010	DBLP DOI BibTeX RDF
1	Tommi A. Junttila, Petteri Kaski	Exact Cover via Satisfiability: An Empirical Study.	CP	2010	DBLP DOI BibTeX RDF
1	J. Christopher Beck	Checking-Up on Branch-and-Check.	CP	2010	DBLP DOI BibTeX RDF
1	Edward P. K. Tsang	Constraint-Directed Search in Computational Finance and Economics.	CP	2010	DBLP DOI BibTeX RDF
1	Lars Kotthoff, Ian Miguel, Peter Nightingale	Ensemble Classification for Constraint Solver Configuration.	CP	2010	DBLP DOI BibTeX RDF
1	Michele Lombardi 0001, Michela Milano	Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution.	CP	2010	DBLP DOI BibTeX RDF
1	Gianluigi Greco, Francesco Scarcello	Structural Tractability of Enumerating CSP Solutions.	CP	2010	DBLP DOI BibTeX RDF
1	Alexandre Goldsztejn, Olivier Mullier, Damien Eveillard, Hiroshi Hosobe	Including Ordinary Differential Equations Based Constraints in the Standard CP Framework.	CP	2010	DBLP DOI BibTeX RDF
1	Jessica Davies 0001, Jeremy Cho, Fahiem Bacchus	Using Learnt Clauses in maxsat.	CP	2010	DBLP DOI BibTeX RDF
1	Martin C. Cooper, Stanislav Zivný	A New Hybrid Tractable Class of Soft Constraint Problems.	CP	2010	DBLP DOI BibTeX RDF
1	Sigal Asaf, Haggai Eran, Yossi Richter, Daniel P. Connors, Donna L. Gresh, Julio Ortega, Michael J. Mcinnis	Applying Constraint Programming to Identification and Assignment of Service Professionals.	CP	2010	DBLP DOI BibTeX RDF
1	Barnaby Martin	The Lattice Structure of Sets of Surjective Hyper-Operations.	CP	2010	DBLP DOI BibTeX RDF
1	Robert Nieuwenhuis	SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering.	CP	2010	DBLP DOI BibTeX RDF
1	Ahmet Serkan Karatas, Halit Oguztüzün, Ali H. Dogru	Global Constraints on Feature Models.	CP	2010	DBLP DOI BibTeX RDF
1	Justyna Petke, Peter Jeavons 0001	Local Consistency and SAT-Solvers.	CP	2010	DBLP DOI BibTeX RDF
1	Balder ten Cate, Phokion G. Kolaitis, Wang Chiew Tan	Database Constraints and Homomorphism Dualities.	CP	2010	DBLP DOI BibTeX RDF
1	David Allouche, Simon de Givry, Thomas Schiex	Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP.	CP	2010	DBLP DOI BibTeX RDF
1	Alessandro Dal Palù, Mathias Möhl, Sebastian Will	A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies.	CP	2010	DBLP DOI BibTeX RDF
1	Yevgeny Schreiber	Value-Ordering Heuristics: Search Performance vs. Solution Diversity.	CP	2010	DBLP DOI BibTeX RDF
1	Stefano Ermon, Carla P. Gomes, Bart Selman	Computing the Density of States of Boolean Formulas.	CP	2010	DBLP DOI BibTeX RDF
1	Hadrien Cambazard, Barry O'Sullivan	Propagating the Bin Packing Constraint Using Linear Programming.	CP	2010	DBLP DOI BibTeX RDF
1	Mehdi Khiari, Patrice Boizumault, Bruno Crémilleux	Constraint Programming for Mining n-ary Patterns.	CP	2010	DBLP DOI BibTeX RDF
1	Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale	Generating Special-Purpose Stateless Propagators for Arbitrary Constraints.	CP	2010	DBLP DOI BibTeX RDF
1	Gilles Trombettoni, Yves Papegay, Gilles Chabert, Odile Pourtallier	A Box-Consistency Contractor Based on Extremal Functions.	CP	2010	DBLP DOI BibTeX RDF
1	Siddhartha Jain 0001, Eoin O'Mahony, Meinolf Sellmann	A Complete Multi-valued SAT Solver.	CP	2010	DBLP DOI BibTeX RDF
1	Long Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais	Diversification and Intensification in Parallel SAT Solving.	CP	2010	DBLP DOI BibTeX RDF
1	Roman van der Krogt, Jacob Feldman, James Little 0002, David Stynes	An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management.	CP	2010	DBLP DOI BibTeX RDF
1	Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta 0001, Luis Quesada 0001, Mats Carlsson	A Generic Visualization Platform for CP.	CP	2010	DBLP DOI BibTeX RDF
1	Justin Yip, Pascal Van Hentenryck	Exponential Propagation for Set Variables.	CP	2010	DBLP DOI BibTeX RDF
1	Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh	Decomposition of the NValue Constraint.	CP	2010	DBLP DOI BibTeX RDF
1	Andreas Schutt, Armin Wolf	A New O(n2logn) Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints.	CP	2010	DBLP DOI BibTeX RDF
1	David Cohen (eds.)	Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings	CP	2010	DBLP DOI BibTeX RDF
1	Ross Willard	Testing Expressibility Is Hard.	CP	2010	DBLP DOI BibTeX RDF
1	Bella Dubrov, Haggai Eran, Ari Freund 0001, Edward F. Mark, Shyam Ramji, Timothy A. Schell	Pin Assignment Using Stochastic Local Search Constraint Programming.	CP	2009	DBLP DOI BibTeX RDF	ASIC, Constraint Programming, EDA, Stochastic Local Search, Chip Design, Pin Assignment
1	Mikael Z. Lagerkvist, Christian Schulte 0001	Propagator Groups.	CP	2009	DBLP DOI BibTeX RDF
1	Andrew Grayland, Ian Miguel, Colva M. Roney-Dougal	Snake Lex: An Alternative to Double Lex.	CP	2009	DBLP DOI BibTeX RDF
1	Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivný	Same-Relation Constraints.	CP	2009	DBLP DOI BibTeX RDF
1	Steven D. Prestwich, S. Armagan Tarim, Roberto Rossi 0002, Brahim Hnich	Evolving Parameterised Policies for Stochastic Constraint Programming.	CP	2009	DBLP DOI BibTeX RDF
1	Mohammad M. Fazel-Zarandi, J. Christopher Beck	Solving a Location-Allocation Problem with Logic-Based Benders' Decomposition.	CP	2009	DBLP DOI BibTeX RDF
1	Iván Dotú, Pascal Van Hentenryck, Miguel A. Patricio, Antonio Berlanga, José García, José M. Molina López	Real-Time Tabu Search for Video Tracking Association.	CP	2009	DBLP DOI BibTeX RDF
1	Diarmuid Grimes, Emmanuel Hebrard, Arnaud Malapert	Closing the Open Shop: Contradicting Conventional Wisdom.	CP	2009	DBLP DOI BibTeX RDF
1	Raphael M. Reischuk, Christian Schulte 0001, Peter J. Stuckey, Guido Tack	Maintaining State in Propagation Solvers.	CP	2009	DBLP DOI BibTeX RDF
1	Alberto Delgado, Rune Møller Jensen, Christian Schulte 0001	Generating Optimal Stowage Plans for Container Vessel Bays.	CP	2009	DBLP DOI BibTeX RDF
1	Redouane Ezzahir, Christian Bessiere, Mohamed Wahbi, Imade Benelallam, Houssine Bouyakhf	Asynchronous Inter-Level Forward-Checking for DisCSPs.	CP	2009	DBLP DOI BibTeX RDF
1	Brahim Hnich, Roberto Rossi 0002, S. Armagan Tarim, Steven D. Prestwich	Synthesizing Filtering Algorithms for Global Chance-Constraints.	CP	2009	DBLP DOI BibTeX RDF
1	Pascal Van Hentenryck, Carleton Coffrin, Boris Gutkovich	Constraint-Based Local Search for the Automatic Generation of Architectural Tests.	CP	2009	DBLP DOI BibTeX RDF
1	Christian Schulte 0001, Guido Tack	Weakly Monotonic Propagators.	CP	2009	DBLP DOI BibTeX RDF
1	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy	On the Structure of Industrial SAT Instances.	CP	2009	DBLP DOI BibTeX RDF
1	David A. Cohen, Martin James Green, Chris Houghton	Constraint Representations and Structural Tractability.	CP	2009	DBLP DOI BibTeX RDF
1	Stanislav Zivný, Peter G. Jeavons	The Complexity of Valued Constraint Models.	CP	2009	DBLP DOI BibTeX RDF
1	Arthur Choi, Trevor Standley, Adnan Darwiche	Approximating Weighted Max-SAT Problems by Compensating for Relaxations.	CP	2009	DBLP DOI BibTeX RDF
1	Alex S. Fukunaga	Search Spaces for Min-Perturbation Repair.	CP	2009	DBLP DOI BibTeX RDF
1	Barbara M. Smith	Observations on Symmetry Breaking.	CP	2009	DBLP DOI BibTeX RDF
1	Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001, Nic Wilson	Search Space Extraction.	CP	2009	DBLP DOI BibTeX RDF
1	Serdar Kadioglu, Meinolf Sellmann	Dialectic Search.	CP	2009	DBLP DOI BibTeX RDF
1	George Katsirelos, Sebastian Maneth, Nina Narodytska, Toby Walsh	Restricted Global Grammar Constraints.	CP	2009	DBLP DOI BibTeX RDF

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