SAT 2010 - PDF Preprint Papers

SAT 2010 Theory and Applications of Satisfiability Testing

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed SAT-2010 Paper

click to vote

SAT
2010
Springer

194views Hardware» more SAT 2010»

Integrating Dependency Schemes in Search-Based QBF Solvers

14 years 3 months ago

Download fmv.jku.at

Florian Lonsing, Armin Biere

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	194	Integrating Dependency Schemes in Search-Based QBF Solvers	claim
2	178	Proof Complexity of Propositional Default Logic	claim
3	174	A System for Solving Constraint Satisfaction Problems with SMT	claim
4	172	On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem	claim
5	170	Assignment Stack Shrinking	claim
6	165	An Empirical Study of Optimal Noise and Runtime Distributions in Local Search	claim
7	164	Improving Stochastic Local Search for SAT with a New Probability Distribution	claim
8	161	On Moderately Exponential Time for SAT	claim
9	160	Reconstructing Solutions after Blocked Clause Elimination	claim
10	158	Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT	claim
11	152	Simple but Hard Mixed Horn Formulas	claim
12	148	Automated Testing and Debugging of SAT and QBF Solvers	claim
13	141	Synthesizing Shortest Linear Straight-Line Programs over GF(2) Using SAT	claim
14	136	A Non-prenex, Non-clausal QBF Solver with Game-State Learning	claim
15	132	Exploiting Circuit Representations in QBF Solving	claim
16	127	Symmetry and Satisfiability: An Update	claim
17	125	Two Techniques for Minimizing Resolution Proofs	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers