Search results for "Constraints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Miquel Bofill, Dídac Busquets, Víctor Muñoz, Mateu Villaret	Reformulation based MaxSAT robustness.	Constraints	2013	DBLP DOI BibTeX RDF
1	Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret	Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories.	Constraints	2013	DBLP DOI BibTeX RDF
1	Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey	Search combinators.	Constraints	2013	DBLP DOI BibTeX RDF
1	Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson	On matrices, automata, and double counting in constraint programming.	Constraints	2013	DBLP DOI BibTeX RDF
1	Gianluigi Greco, Francesco Scarcello	Structural tractability of enumerating CSP solutions.	Constraints	2013	DBLP DOI BibTeX RDF
1	Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson	On the reification of global constraints.	Constraints	2013	DBLP DOI BibTeX RDF
1	Stefan Heinz, Jens Schulz, J. Christopher Beck	Using dual presolving reductions to reformulate cumulative constraints.	Constraints	2013	DBLP DOI BibTeX RDF
1	Cemalettin Öztürk, Semra Tunali, Brahim Hnich, Arslan M. Örnek	Balancing and scheduling of flexible mixed model assembly lines.	Constraints	2013	DBLP DOI BibTeX RDF
1	Andrea Rendl, J. Christopher Beck	Introduction to the special issue on constraint modelling and reformulation.	Constraints	2013	DBLP DOI BibTeX RDF
1	Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu	On the hardness of solving edge matching puzzles as SAT or CSP problems.	Constraints	2013	DBLP DOI BibTeX RDF
1	Christian Schulte, Guido Tack	View-based propagator derivation.	Constraints	2013	DBLP DOI BibTeX RDF
1	Elsa Carvalho, Jorge Cruz, Pedro Barahona	Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example.	Constraints	2013	DBLP DOI BibTeX RDF
1	Roman Barták, Radomír Cernoch, Ondrej Kuzelka, Filip Zelezný	Formulating the template ILP consistency problem as a constraint satisfaction problem.	Constraints	2013	DBLP DOI BibTeX RDF
1	Mohamed Wahbi, Redouane Ezzahir, Christian Bessiere, El-Houssine Bouyakhf	Nogood-based asynchronous forward checking algorithms.	Constraints	2013	DBLP DOI BibTeX RDF
1	Yves Deville, Pascal Van Hentenryck, Jean-Baptiste Mairy	Domain consistency with forbidden values.	Constraints	2013	DBLP DOI BibTeX RDF
1	Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, May H. C. Woo	Multiset variable representations and constraint propagation.	Constraints	2013	DBLP DOI BibTeX RDF
1	Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah	A CP framework for testing CP.	Constraints	2012	DBLP DOI BibTeX RDF
1	Sébastien Mouthuy, Pascal Van Hentenryck, Yves Deville	Constraint-based Very Large-Scale Neighborhood search.	Constraints	2012	DBLP DOI BibTeX RDF
1	Pascal Benchimol, Willem Jan van Hoeve, Jean-Charles Régin, Louis-Martin Rousseau, Michel Rueher	Improved filtering for weighted circuit constraints.	Constraints	2012	DBLP DOI BibTeX RDF
1	Ruben Martins, Vasco M. Manquinho, Inês Lynce	An overview of parallel SAT solving.	Constraints	2012	DBLP DOI BibTeX RDF
1	Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret	Solving constraint satisfaction problems with SAT modulo theories.	Constraints	2012	DBLP DOI BibTeX RDF
1	Daisuke Ishii, Alexandre Goldsztejn, Christophe Jermann	Interval-based projection method for under-constrained numerical systems.	Constraints	2012	DBLP DOI BibTeX RDF
1	Radoslaw Cymer	Dulmage-Mendelsohn Canonical Decomposition as a generic pruning technique.	Constraints	2012	DBLP DOI BibTeX RDF
1	Quang-Dung Pham, Yves Deville	Solving the quorumcast routing problem by constraint programming.	Constraints	2012	DBLP DOI BibTeX RDF
1	Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey	Exploiting subproblem dominance in constraint programming.	Constraints	2012	DBLP DOI BibTeX RDF
1	Michele Lombardi, Michela Milano	Optimal methods for resource allocation and scheduling: a cross-disciplinary survey.	Constraints	2012	DBLP DOI BibTeX RDF
1	Kamol Limtanyakul, Uwe Schwiegelshohn	Improvements of constraint programming and hybrid methods for scheduling of tests on vehicle prototypes.	Constraints	2012	DBLP DOI BibTeX RDF
1	Quang-Dung Pham, Yves Deville, Pascal Van Hentenryck	LS(Graph): a constraint-based local search for constraint optimization on trees and paths.	Constraints	2012	DBLP DOI BibTeX RDF
1	Steven David Prestwich, Brahim Hnich, Helmut Simonis, Roberto Rossi, S. Armagan Tarim	Partial symmetry breaking by local search in the group.	Constraints	2012	DBLP DOI BibTeX RDF
1	Stefan Heinz, Thomas Schlechte, Rüdiger Stephan, Michael Winkler	Solving steel mill slab design problems.	Constraints	2012	DBLP DOI BibTeX RDF
1	Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr J. Wojciechowski	A complexity perspective on entailment of parameterized linear constraints.	Constraints	2012	DBLP DOI BibTeX RDF
1	Younes Mechqrane, Mohamed Wahbi, Christian Bessiere, El-Houssine Bouyakhf, Amnon Meisels, Roie Zivan	Corrigendum to "Min-domain retroactive ordering for asynchronous backtracking".	Constraints	2012	DBLP DOI BibTeX RDF
1	Marie-Claude Côté, Bernard Gendron, Claude-Guy Quimper, Louis-Martin Rousseau	Formal languages for integer programming modeling of shift scheduling problems.	Constraints	2011	DBLP DOI BibTeX RDF
1	Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace, Sebastian Brand	Dantzig-Wolfe decomposition and branch-and-price solving in G12.	Constraints	2011	DBLP DOI BibTeX RDF
1	Graeme Gange, Peter J. Stuckey, Radoslaw Szymanek	MDD propagators with explanation.	Constraints	2011	DBLP DOI BibTeX RDF
1	Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace	Explaining the cumulative propagator.	Constraints	2011	DBLP DOI BibTeX RDF
1	Davaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey	CP and IP approaches to cancer radiotherapy delivery optimization.	Constraints	2011	DBLP DOI BibTeX RDF
1	Petr Holub, Hana Rudová, Milos Liska	Data transfer planning with tree placement for collaborative environments.	Constraints	2011	DBLP DOI BibTeX RDF
1	Marko Samer, Stefan Szeider	Tractable cases of the extended global cardinality constraint.	Constraints	2011	DBLP DOI BibTeX RDF
1	Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell	Cardinality Networks: a theoretical and empirical study.	Constraints	2011	DBLP DOI BibTeX RDF
1	Christian Bessiere, Stéphane Cardon, Romuald Debruyne, Christophe Lecoutre	Efficient algorithms for singleton arc consistency.	Constraints	2011	DBLP DOI BibTeX RDF
1	Thanasis Balafoutis, Anastasia Paparrizou, Kostas Stergiou, Toby Walsh	New algorithms for max restricted path consistency.	Constraints	2011	DBLP DOI BibTeX RDF
1	András Kovács, Tamás Kis	Constraint programming approach to a bilevel scheduling problem.	Constraints	2011	DBLP DOI BibTeX RDF
1	François Pachet, Pierre Roy	Markov constraints: steerable generation of Markov sequences.	Constraints	2011	DBLP DOI BibTeX RDF
1	Pierre Schaus, Pascal Van Hentenryck, Jean-Noël Monette, Carleton Coffrin, Laurent Michel, Yves Deville	Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS.	Constraints	2011	DBLP DOI BibTeX RDF
1	András Kovács, J. Christopher Beck	A global constraint for total weighted completion time for unary resources.	Constraints	2011	DBLP DOI BibTeX RDF
1	Christophe Lecoutre	STR2: optimized simple tabular reduction for table constraints.	Constraints	2011	DBLP DOI BibTeX RDF
1	Roie Zivan, Alon Grubshtein, Amnon Meisels	Hybrid search for minimal perturbation in Dynamic CSPs.	Constraints	2011	DBLP DOI BibTeX RDF
1	Roman Barták, Miguel A. Salido	Constraint satisfaction for planning and scheduling problems.	Constraints	2011	DBLP DOI BibTeX RDF
1	Alexandre Goldsztejn, Laurent Granvilliers	A new framework for sharp and efficient resolution of NCSP with manifolds of solutions.	Constraints	2010	DBLP DOI BibTeX RDF
1	Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea	Solving satisfiability problems with preferences.	Constraints	2010	DBLP DOI BibTeX RDF
1	Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck	CPBPV: a constraint-programming framework for bounded program verification.	Constraints	2010	DBLP DOI BibTeX RDF
1	Pedro Meseguer, Francesca Rossi, Thomas Schiex	Introduction to the special issue on Constraint-based approaches to Preference Modelling and Reasoning.	Constraints	2010	DBLP DOI BibTeX RDF
1	Bertrand Neveu, Gilles Trombettoni, Gilles Chabert	Improving inter-block backtracking with interval Newton.	Constraints	2010	DBLP DOI BibTeX RDF
1	Gilles Pesant	Editor's note.	Constraints	2010	DBLP DOI BibTeX RDF
1	Hadrien Cambazard, Barry O'Sullivan	Erratum to "Reformulating table constraints using functional dependencies - an application to explanation generation".	Constraints	2010	DBLP DOI BibTeX RDF
1	Peter J. Stuckey, Ralph Becket, Julien Fischer	Philosophy of the MiniZinc challenge.	Constraints	2010	DBLP DOI BibTeX RDF
1	Stanislav Zivny, Peter G. Jeavons	Classes of submodular constraints expressible by graph cuts.	Constraints	2010	DBLP DOI BibTeX RDF
1	Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes	Resolution-based lower bounds in MaxSAT.	Constraints	2010	DBLP DOI BibTeX RDF
1	Stéphane Zampelli, Yves Deville, Christine Solnon	Solving subgraph isomorphism problems with constraint programming.	Constraints	2010	DBLP DOI BibTeX RDF
1	Christophe Lecoutre, Olivier Roussel, Marc R. C. van Dongen	Promoting robust black-box solvers through competitions.	Constraints	2010	DBLP DOI BibTeX RDF
1	Markus Zanker, Markus Jessenitschnig, Wolfgang Schmid	Preference reasoning with soft constraints in constraint-based recommender systems.	Constraints	2010	DBLP DOI BibTeX RDF
1	Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo	Redundant modeling in permutation weighted constraint satisfaction problems.	Constraints	2010	DBLP DOI BibTeX RDF
1	Peter J. Stuckey	Introduction to the special issue on the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008).	Constraints	2010	DBLP DOI BibTeX RDF
1	Nic Wilson, Diarmuid Grimes, Eugene C. Freuder	Interleaving solving and elicitation of constraint satisfaction problems based on expected cost.	Constraints	2010	DBLP DOI BibTeX RDF
1	Serdar Kadioglu, Meinolf Sellmann	Grammar constraints.	Constraints	2010	DBLP DOI BibTeX RDF
1	Kenil C. K. Cheng, Roland H. C. Yap	An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints.	Constraints	2010	DBLP DOI BibTeX RDF
1	Eugene C. Freuder, Robert Heffernan, Richard J. Wallace, Nic Wilson	Lexicographically-ordered constraint satisfaction problems.	Constraints	2010	DBLP DOI BibTeX RDF
1	Tony Minoru Tamura Lopes, André A. Ciré, Cid Carvalho de Souza, Arnaldo Vieira Moura	A hybrid model for a multiproduct pipeline planning and scheduling problem.	Constraints	2010	DBLP DOI BibTeX RDF
1	Barbara M. Smith, Jean-François Puget	Constraint models for graceful graphs.	Constraints	2010	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.	Constraints	2010	DBLP DOI BibTeX RDF
1	Radu Marinescu 0002, Rina Dechter	Evaluating the impact of AND/OR search on 0-1 integer linear programming.	Constraints	2010	DBLP DOI BibTeX RDF
1	Hélène Fargier, Emma Rollon, Nic Wilson	Enabling local computation for partially ordered preferences.	Constraints	2010	DBLP DOI BibTeX RDF
1	Ferenc Domes, Arnold Neumaier	Constraint propagation on quadratic constraints.	Constraints	2010	DBLP DOI BibTeX RDF
1	David Stynes, Kenneth N. Brown	Value ordering for quantified CSPs.	Constraints	2009	DBLP DOI BibTeX RDF	Value ordering, Quantified CSPs, Backtracking search
1	Peter Nightingale	Non-binary quantified CSP: algorithms and modelling.	Constraints	2009	DBLP DOI BibTeX RDF	QCSP, Quantified constraints, Reasoning algorithm, Modelling, Propagation algorithm
1	Christopher Mears, Maria Garcia de la Banda, Mark Wallace	On implementing symmetry detection.	Constraints	2009	DBLP DOI BibTeX RDF	Automatic symmetry detection, Graph automorphism
1	Alessandro Zanarini, Gilles Pesant	Solution counting algorithms for constraint-centered search heuristics.	Constraints	2009	DBLP DOI BibTeX RDF	Solution counting, Regular constraint, Alldifferent constraint, Heuristic search
1	Olga Ohrimenko, Peter J. Stuckey, Michael Codish	Propagation via lazy clause generation.	Constraints	2009	DBLP DOI BibTeX RDF	Finite domain propagation, Boolean variables, SAT solver
1	Manuel Bodirsky, Hubie Chen	Relatively quantified constraint satisfaction.	Constraints	2009	DBLP DOI BibTeX RDF	Quantified constraint satisfaction, Computational complexity
1	Ismel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan	Distributed constraint satisfaction with partially known constraints.	Constraints	2009	DBLP DOI BibTeX RDF	Distributed CSPs, Asynchronous search, Privacy, Entropy
1	S. Armagan Tarim, Brahim Hnich, Roberto Rossi, Steven David Prestwich	Cost-Based Filtering Techniques for Stochastic Inventory Control Under Service Level Constraints.	Constraints	2009	DBLP DOI BibTeX RDF	Non-stationary (R, S) policy, Stochastic demand, Dynamic programming relaxation, Inventory control, Cost-based filtering
1	Ashish Sabharwal	SymChaff: exploiting symmetry in a structure-aware satisfiability solver.	Constraints	2009	DBLP DOI BibTeX RDF	SymChaff, Complete multi-class symmetry, Global symmetry, High-level representation, Planning, SAT, Boolean satisfiability
1	Thibaut Feydy, Peter J. Stuckey	Propagating systems of dense linear integer constraints.	Constraints	2009	DBLP DOI BibTeX RDF	Gauss-Jordan elimination, Fourier elimination, Interval arithmetic, Constraint propagation, Linear constraints
1	Enrico Giunchglia, Kostas Stergiou	Introduction to the special issue on quantified CSPs and QBF.	Constraints	2009	DBLP DOI BibTeX RDF
1	Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren	Dynamic structural symmetry breaking for constraint satisfaction problems.	Constraints	2009	DBLP DOI BibTeX RDF	Dominance detection, CSP, Tractability, Symmetry breaking
1	Uwe Egly, Martina Seidl, Stefan Woltran	A solver for QBFs in negation normal form.	Constraints	2009	DBLP DOI BibTeX RDF	Negation normal form, Solver, QBFs
1	Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara	Compiling finite linear CSP into SAT.	Constraints	2009	DBLP DOI BibTeX RDF	SAT encoding, Open-shop scheduling problems, Constraint satisfaction problems
1	Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal	New filtering algorithms for combinations of among constraints.	Constraints	2009	DBLP DOI BibTeX RDF	Domain consistency, Polynomial time filtering, Car sequencing, Regular constraint, Sequence constraint
1	Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel	Model-driven visualizations of constraint-based local search.	Constraints	2009	DBLP DOI BibTeX RDF	Model-driven visualization, Constraint-based local search, Optimization algorithm
1	Luca Pulina, Armando Tacchella	A self-adaptive multi-engine solver for quantified Boolean formulas.	Constraints	2009	DBLP DOI BibTeX RDF	Self-adaptive multi-engine solver, AQME, Quantified Boolean formulas
1	Mark H. Liffiton, Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva, Karem A. Sakallah	A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas.	Constraints	2009	DBLP DOI BibTeX RDF	Infeasibility, Minimal unsatisfiable subformula, MUS, Smallest minimal unsatisfiable subformula, SMUS, SAT, Boolean satisfiability
1	Roie Zivan, Moshe Zazone, Amnon Meisels	Min-domain retroactive ordering for Asynchronous Backtracking.	Constraints	2009	DBLP DOI BibTeX RDF	Ordering heuristics, Search, Distributed constraints satisfaction
1	Christian Bessiere	Introduction to the special issue on the thirteenth international conference on principles and practice of constraint programming (CP 2007).	Constraints	2009	DBLP DOI BibTeX RDF
1	Matti Järvisalo, Tommi A. Junttila	Limitations of restricted branching in clause learning.	Constraints	2009	DBLP DOI BibTeX RDF	Branching heuristics, Clause learning, Backdoor sets, Proof complexity, Propositional satisfiability, DPLL, Problem structure
1	Alexandre Goldsztejn, Claude Michel, Michel Rueher	Efficient handling of universally quantified inequalities.	Constraints	2009	DBLP DOI BibTeX RDF	Universally quantified inequalities, Branch and bound, Interval analysis
1	Inês Lynce, João Marques-Silva, Steven David Prestwich	Boosting Haplotype Inference with Local Search.	Constraints	2008	DBLP DOI BibTeX RDF	Local search, Boolean satisfiability, Haplotype inference
1	Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace	The Design of the Zinc Modelling Language.	Constraints	2008	DBLP DOI BibTeX RDF	Modelling, Optimisation, CSP, Constraint programming, Language design
1	Owen Bourne, Abdul Sattar, Scott D. Goodwin	A Constraint-Based Autonomous 3D Camera System.	Constraints	2008	DBLP DOI BibTeX RDF	3D autonomous camera, Cinematic constraints, Camera control
1	Nicolas Beldiceanu, Pierre Flener, Xavier Lorca	Combining Tree Partitioning, Precedence, and Incomparability Constraints.	Constraints	2008	DBLP DOI BibTeX RDF	Digraph partitioning, Tree constraint, Incomparability constraint, Ordered disjoint paths problem, Phylogenetic supertree problem, Filtering, Tree, Global constraint, Precedence constraint, Hamiltonian path problem

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