Automatic Generation of Implied Clauses for SAT

13 years 9 months ago

Download arotau.com

This paper presents a survey of the use of resolution in propositional satisﬁability, and some preliminary results from the implementation of a hybrid resolution and search algorithm for SAT.

Lyndon Drake

Real-time Traffic

Artificial Intelligence | CP 2001 | Hybrid Resolution | Propositional Satisﬁability | Search Algorithm |

claim paper

» Neighbourhood Clause Weight Redistribution in Local Search for SAT

» Plato A Compiler for Interactive Web Forms

» Boundary Points and Resolution

» Determinacy Analysis for Logic Programs Using Mode and Type Information

» Constraint Prioritization for Efficient Analysis of Declarative Models

Post Info
More Details (n/a)

Added	28 Jul 2010
Updated	28 Jul 2010
Type	Conference
Year	2001
Where	CP
Authors	Lyndon Drake

Comments (0)

Sciweavers

Automatic Generation of Implied Clauses for SAT

Artificial Intelligence | CP 2001 | Hybrid Resolution | Propositional Satisﬁability | Search Algorithm |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers