Search Sciweavers | Sciweavers

2 search results - page 1 / 1

» Shatter: efficient symmetry-breaking for boolean satisfiabil...

111

Voted

IJCAI
2003

119views Artificial Intelligence» more IJCAI 2003»

Efficient Symmetry Breaking for Boolean Satisfiability

15 years 4 months ago

Download dli.iiit.ac.in

Identifying and breaking the symmetries of CNF formulae has been shown to lead to significant reductions in search times. In this paper we describe a more systematic and efficient...

Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov

claim paper

Read More »

Voted

DAC
2003
ACM

107views Computer Architecture» more DAC 2003»

Shatter: efficient symmetry-breaking for boolean satisfiability

16 years 3 months ago

Download www.eecs.umich.edu

Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers