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

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

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

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

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

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers