Search results for "CP"

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

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