Search Sciweavers | Sciweavers

256 search results - page 16 / 52

» Constraint Symmetry and Solution Symmetry

click to vote

CORR
2008
Springer

107views Education» more CORR 2008»

Symmetry Breaking for Maximum Satisfiability

13 years 8 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 »

click to vote

ISPD
2006
ACM

156views Hardware» more ISPD 2006»

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

14 years 1 months ago

Download www.sigda.org

Shinichi Kouda, Chikaaki Kodama, Kunihiro Fujiyosh...

claim paper

Read More »

click to vote

CP
2003
Springer

99views Artificial Intelligence» more CP 2003»

Constraints for Breaking More Row and Column Symmetries

14 years 1 months ago

Download www.cs.york.ac.uk

Alan M. Frisch, Christopher Jefferson, Ian Miguel

claim paper

Read More »

click to vote

CP
2003
Springer

58views Artificial Intelligence» more CP 2003»

Symmetry Breaking Ordering Constraints

14 years 1 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

14 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers