Search Sciweavers | Sciweavers

256 search results - page 16 / 52

» Constraint Symmetry and Solution Symmetry

181

click to vote

CORR
2008
Springer

107views Education» more CORR 2008»

Symmetry Breaking for Maximum Satisfiability

15 years 6 months ago

Download sat.inesc.pt

Symmetries are intrinsic to many combinatorial problems including Boolean Satisfiability (SAT) and Constraint Programming (CP). In SAT, the identification of symmetry breaking pred...

João Marques-Silva, Inês Lynce, Vasco...

claim paper

Read More »

125

click to vote

ISPD
2006
ACM

156views Hardware» more ISPD 2006»

Improved method of cell placement with symmetry constraints for analog IC layout design

16 years 6 hour ago

Download www.sigda.org

Shinichi Kouda, Chikaaki Kodama, Kunihiro Fujiyosh...

claim paper

Read More »

108

click to vote

CP
2003
Springer

99views Artificial Intelligence» more CP 2003»

Constraints for Breaking More Row and Column Symmetries

15 years 11 months ago

Download www.cs.york.ac.uk

Alan M. Frisch, Christopher Jefferson, Ian Miguel

claim paper

Read More »

105

click to vote

CP
2003
Springer

58views Artificial Intelligence» more CP 2003»

Symmetry Breaking Ordering Constraints

15 years 11 months ago

Download www.math.unipd.it

Zeynep Kiziltan

claim paper

Read More »

click to vote

ECAI
2000
Springer

91views Artificial Intelligence» more ECAI 2000»

Symmetry Breaking in Constraint Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers