MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Symmetry Breaking in Constraint Satisfaction." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

Symmetry Breaking in Constraint Satisfaction
by Eugene M. Luks, Amitabha Roy — 2001 — in Proc. Int. Conf. Artif. Intell
…Symmetry Breaking in Constraint Satisfaction Eugene M. Luks Department of Computer Science…
Cited by 3 (0 self) – Add To MetaCart

Symmetry breaking in constraint satisfaction with graph-isomorphism comma-free codes
by Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck — Proc. of AI&M 2004. 2004. http://www.informatik.uni-trier.de/~ley/db/conf/amai/amai2004.html
…Structural Symmetry Breaking for Constraint Satisfaction Problems Pierre Flener1 , Justin Pearson1…
Cited by 2 (0 self) – Add To MetaCart

Manuscript Click here to download Manuscript: dssb.ps Click here to view linked References 1 2 3 4 5 6 7 8
by unknown authors
… Symmetry Breaking for Constraint Satisfaction Problems Pierre Flener1 , Justin Pearson1 , Meinolf Sellmann2…
Add To MetaCart

Hentenryck. Static and dynamic structural symmetry breaking
by Pierre Flener, Justin Pearson, Meinolf Sellmann — 2006 — Proceedings of CP’06, volume 4204 of LNCS
… for constraint satisfaction problems (CSPs). We show that the dynamic dominance checks used in symmetry breaking…
Cited by 7 (2 self) – Add To MetaCart

A SAT Encoding for the Social Golfer Problem
by Ian P. Gent — 2005 — In IJCAI’05 workshop on Modelling and Solving Problems with Constraints
… breaking in constraint satisfaction, which has further motivated the study of symmetry breaking in SAT…
Cited by 2 (1 self) – Add To MetaCart

Tractable symmetry breaking for CSPs with interchangeable values
by P. Van Hentenryck — 2003 — In Proceedings of IJCAI’03
… applications. 1 Introduction Symmetry breaking for constraint satisfaction problems has attracted considerable…
Cited by 22 (8 self) – Add To MetaCart

Contents Symmetry and Inference
by Steve Linton, Ian Gent, Tom Kelsey — 2002
…) to submit a PhD on aspects of symmetry breaking in constraint satisfaction problems under the direction…
Add To MetaCart

Eighth International Symposium on
by Artificial Intelligence And, Martin Golumbic, Peter Van Beek, Endre Boros (rutgers, Adnan Darwiche (ucla, Boi Faltings (epfl, John Franco (u. Of Cincinnati, George Katsirelos, Stefan Boettcher, Gabriel Istrate, Allon G. Percus
…, and Sven Koenig Symmetry Breaking in Constraint Satisfaction with Graph-Isomorphism: Comma-Free Codes…
Add To MetaCart

unknown title
by Sylvain Bouveret
…, such as fuzzy CSP [6], and symmetry-breaking in constraint satisfaction problems [7]. This contribution…
Add To MetaCart

Search in Constraint-Based Paraphrasing
by Mark Dras — 1998 — In Proceedings of the 2 nd Conference on Natural Language Processing and Industrial Applications
…. This kind of symmetry of solutions is undesirable, and there has been much recent work on symmetry breaking…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB