Search results for "Alldifferent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
70	Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni	All Different: Softening AllDifferent in Weighted CSPs.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
70	Kurt Mehlhorn, Sven Thiel	Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint.	CP	2000	DBLP DOI BibTeX RDF
64	Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivný	Same-Relation Constraints.	CP	2009	DBLP DOI BibTeX RDF
55	Guillaume Claus, Hadrien Cambazard, Vincent Jost	Analysis of Reduced Costs Filtering for Alldifferent and Minimum Weight Alldifferent Global Constraints.	ECAI	2020	DBLP DOI BibTeX RDF
54	Alessandro Zanarini, Gilles Pesant	Solution counting algorithms for constraint-centered search heuristics.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Solution counting, Regular constraint, Alldifferent constraint, Heuristic search
49	Yossi Richter, Ari Freund 0001, Yehuda Naveh	Generalizing AllDifferent: The SomeDifferent Constraint.	CP	2006	DBLP DOI BibTeX RDF
49	Willem Jan van Hoeve	A Hyper-arc Consistency Algorithm for the Soft Alldifferent Constraint.	CP	2004	DBLP DOI BibTeX RDF
49	Andrea Lodi 0001, Michela Milano, Louis-Martin Rousseau	Discrepancy-Based Additive Bounding for the AllDifferent Constraint.	CP	2003	DBLP DOI BibTeX RDF
33	Khaled M. Elbassioni, Irit Katriel	Multiconsistency and Robustness with Global Constraints.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Multi-consistency, Alldifferent, Global cardinality constraint, Global constraints, Arc-consistency, Filtering algorithms, Robust solutions
28	Fabio Tardivo, Agostino Dovier, Andrea Formisano 0001, Laurent Michel, Enrico Pontelli	Constraint propagation on GPU: A case study for the AllDifferent constraint.	J. Log. Comput.	2023	DBLP DOI BibTeX RDF
28	Zhe Li, Yaohua Wang, Zhanshan Li	A Bitwise GAC Algorithm for Alldifferent Constraints.	IJCAI	2023	DBLP DOI BibTeX RDF
28	Luhan Zhen, Zhanshan Li, Yanzhi Li, Hongbo Li	Eliminating the Computation of Strongly Connected Components in Generalized Arc Consistency Algorithm for AllDifferent Constraint.	IJCAI	2023	DBLP DOI BibTeX RDF
28	Wijnand Suijlen, Félix de Framond, Arnaud Lallouet, Antoine Petitet	A Parallel Algorithm for GAC Filtering of the Alldifferent Constraint.	CPAIOR	2022	DBLP DOI BibTeX RDF
28	Fabio Tardivo, Agostino Dovier, Andrea Formisano 0001, Laurent Michel, Enrico Pontelli	Constraints propagation on GPU: A case study for AllDifferent.	CILC	2022	DBLP BibTeX RDF
28		Improving Constraint Satisfaction Algorithm Efficiency for the AllDifferent Constraint.	CoRR	2020	DBLP BibTeX RDF
28	Xizhe Zhang, Jian Gao 0007, Yizhi Lv, Weixiong Zhang	Early and Efficient Identification of Useless Constraint Propagation for Alldifferent Constraints.	IJCAI	2020	DBLP DOI BibTeX RDF
28	Xizhe Zhang, Qian Li, Weixiong Zhang	A Fast Algorithm for Generalized Arc Consistency of the Alldifferent Constraint.	IJCAI	2018	DBLP DOI BibTeX RDF
28	Sascha Van Cauwelaert, Pierre Schaus	Efficient filtering for the Resource-Cost AllDifferent constraint.	Constraints An Int. J.	2017	DBLP DOI BibTeX RDF
28	Milan Bankovic	Solving finite-domain linear constraints in presence of the alldifferent.	Log. Methods Comput. Sci.	2016	DBLP DOI BibTeX RDF
28	Milan Bankovic	Extending SMT solvers with support for finite domain alldifferent constraint.	Constraints An Int. J.	2016	DBLP DOI BibTeX RDF
28	Ricardo Soto 0001, Broderick Crawford, Cristian Galleguillos, Fernando Paredes, Enrique Norero	A Hybrid alldifferent-Tabu Search Algorithm for Solving Sudoku Puzzles.	Comput. Intell. Neurosci.	2015	DBLP DOI BibTeX RDF
28	Michael R. Fellows, Tobias Friedrich 0001, Danny Hermelin, Nina Narodytska, Frances A. Rosamond	Constraint satisfaction problems: Convexity makes AllDifferent constraints tractable.	Theor. Comput. Sci.	2013	DBLP DOI BibTeX RDF
28	Jérémie Du Boisberranger, Danièle Gardy, Xavier Lorca, Charlotte Truchet	When is it worthwhile to propagate a constraint? A probabilistic analysis of AllDifferent.	ANALCO	2013	DBLP DOI BibTeX RDF
28	Dimitris Magos, Ioannis Mourtos, Gautam Appa	A polyhedral approach to the alldifferent system.	Math. Program.	2012	DBLP DOI BibTeX RDF
28	Nicholas Downing, Thibaut Feydy, Peter J. Stuckey	Explaining alldifferent.	ACSC	2012	DBLP BibTeX RDF
28	Nicolas Beldiceanu, Mats Carlsson, Thierry Petit, Jean-Charles Régin	An O(nlog n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization.	ECAI	2012	DBLP DOI BibTeX RDF
28	Dimitris Magos, Ioannis Mourtos	On the Facial Structure of the Alldifferent System.	SIAM J. Discret. Math.	2011	DBLP DOI BibTeX RDF
28	Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh	The AllDifferent Constraint with Precedences	CoRR	2011	DBLP BibTeX RDF
28	Christian Bessiere, Nina Narodytska, Claude-Guy Quimper, Toby Walsh	The AllDifferent Constraint with Precedences.	CPAIOR	2011	DBLP DOI BibTeX RDF
28	Michael R. Fellows, Tobias Friedrich 0001, Danny Hermelin, Nina Narodytska, Frances A. Rosamond	Constraint Satisfaction Problems: Convexity Makes AllDifferent Constraints Tractable.	IJCAI	2011	DBLP DOI BibTeX RDF
28	Christine Solnon	AllDifferent-based filtering for subgraph isomorphism.	Artif. Intell.	2010	DBLP DOI BibTeX RDF
28	Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh	Propagating Conjunctions of AllDifferent Constraints	CoRR	2010	DBLP BibTeX RDF
28	Ian P. Gent, Lars Kotthoff, Ian Miguel, Peter Nightingale	Machine learning for constraint solver design -- A case study for the alldifferent constraint	CoRR	2010	DBLP BibTeX RDF
28	Alessandro Zanarini, Gilles Pesant	More Robust Counting-Based Search Heuristics with Alldifferent Constraints.	CPAIOR	2010	DBLP DOI BibTeX RDF
28	Christian Bessiere, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Toby Walsh	Propagating Conjunctions of AllDifferent Constraints.	AAAI	2010	DBLP DOI BibTeX RDF
28	Ian P. Gent, Ian Miguel, Peter Nightingale	Generalised arc consistency for the AllDifferent constraint: An empirical survey.	Artif. Intell.	2008	DBLP DOI BibTeX RDF
28	Frédéric Lardeux, Éric Monfroy, Frédéric Saubion	Interleaved Alldifferent Constraints: CSP vs. SAT Approaches.	AIMSA	2008	DBLP DOI BibTeX RDF
28	Willem Jan van Hoeve	A Hyper-Arc Consistency Algorithm for the Soft Alldifferent Constraint	CoRR	2004	DBLP BibTeX RDF
28	Alejandro López-Ortiz, Claude-Guy Quimper, John Tromp, Peter van Beek	A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint.	IJCAI	2003	DBLP BibTeX RDF
28	Willem Jan van Hoeve	The alldifferent Constraint: A Survey	CoRR	2001	DBLP BibTeX RDF
21	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
21	Radoslaw Szymanek, Christophe Lecoutre	Constraint-Level Advice for Shaving.	ICLP	2008	DBLP DOI BibTeX RDF
21	Alessandro Zanarini, Gilles Pesant	Solution Counting Algorithms for Constraint-Centered Search Heuristics.	CP	2007	DBLP DOI BibTeX RDF
21	Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau	On global warming: Flow-based soft global constraints.	J. Heuristics	2006	DBLP DOI BibTeX RDF	Network flows, Global constraints, Soft constraints
21	Tudor Hulubei, Barry O'Sullivan	Heavy-Tailed Runtime Distributions: Heuristics, Models and Optimal Refutations.	CP	2006	DBLP DOI BibTeX RDF
21	Roman Barták	Dynamic Global Constraints in Backtracking Based Environments.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	dynamic models, global constraints, filtering algorithm
21	Nicolas Beldiceanu	Pruning for the Minimum Constraint Family and for the Number of Distinct Values Constraint Family.	CP	2001	DBLP DOI BibTeX RDF