Search Sciweavers | Sciweavers

193 search results - page 1 / 39

» sat 2007

click to vote

SAT
2007
Springer

94views Hardware» more SAT 2007»

Variable Dependency in Local Search: Prevention Is Better Than Cure

13 years 11 months ago

Download www.csi.ucd.ie

Steven David Prestwich

claim paper

Read More »

click to vote

SAT
2007
Springer

68views Hardware» more SAT 2007»

A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories

13 years 11 months ago

Download www.csi.ucd.ie

Alessandro Cimatti, Alberto Griggio, Roberto Sebas...

claim paper

Read More »

click to vote

SAT
2007
Springer

95views Hardware» more SAT 2007»

Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver

13 years 11 months ago

Download www.cs.tau.ac.il

Nachum Dershowitz, Ziyad Hanna, Alexander Nadel

claim paper

Read More »

click to vote

SAT
2007
Springer

110views Hardware» more SAT 2007»

Dynamically Partitioning for Solving QBF

13 years 11 months ago

Download www.cs.toronto.edu

Horst Samulowitz, Fahiem Bacchus

claim paper

Read More »

click to vote

SAT
2007
Springer

76views Hardware» more SAT 2007»

Satisfiability with Exponential Families

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers