Search Sciweavers | Sciweavers

422 search results - page 15 / 85

» Multithreaded SAT Solving

117

click to vote

ASPDAC
2007
ACM

79views Hardware» more ASPDAC 2007»

Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets

15 years 10 months ago

Download www.aspdac.com

Stefan Disch, Christoph Scholl

claim paper

Read More »

Voted

AAAI
2008

91views Intelligent Agents» more AAAI 2008»

Within-problem Learning for Efficient Lower Bound Computation in Max-SAT Solving

15 years 8 months ago

Download www.laria.u-picardie.fr

Han Lin, Kaile Su, Chu Min Li

claim paper

Read More »

Voted

AAAI
2007

66views Intelligent Agents» more AAAI 2007»

Using More Reasoning to Improve #SAT Solving

15 years 8 months ago

Download www.aaai.org

Jessica Davies, Fahiem Bacchus

claim paper

Read More »

136

Voted

DAGSTUHL
2008

117views Software Engineering» more DAGSTUHL 2008»

Present and Future of Practical SAT Solving

15 years 7 months ago

Download www.swan.ac.uk

Oliver Kullmann

claim paper

Read More »

110

Voted

AAAI
2006

89views Intelligent Agents» more AAAI 2006»

New Inference Rules for Efficient Max-SAT Solving

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers