# Unit propagation

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

- ArXiv
- 2012

Some aspects of the result of applying unit resolution on a cnf formula can be formalized as functions with domain a set ofâ€¦Â (More)

Is this relevant?

2011

2011

- ArXiv
- 2011

A grounding of a formulaÏ† over a given finite domain is a ground formula which is equivalent toÏ† on that domain. Very effectiveâ€¦Â (More)

Is this relevant?

2011

2011

- 2011

This work extends early work about parallel unit propagation in SAT solvers. Since CSP solvers use SAT solvers as backendâ€¦Â (More)

Is this relevant?

2007

2007

- CP
- 2007

In this paper we argue that an attractive and potentially very general way of achieving generalized arc consistency (GAC) on aâ€¦Â (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- Handbook of Constraint Programming
- 2006

Constraint reasoning involves various types of techniques to tackle the inherent intractability of the problem of satisfying aâ€¦Â (More)

Is this relevant?

2006

2006

- 2006

Computational approaches to Satisfiability Checking (SAT) and Answer Set Programming (ASP) have many aspects in common. In factâ€¦Â (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- Electronic Notes in Discrete Mathematics
- 2001

One of the best SAT solvers for random 3-SAT formulae, SATZ, is based on a heuristic called unit propagation lookahead (UPLâ€¦Â (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- IJCAI
- 1997

The paper studies new unit propagation based heuristics for Davis-Putnam-Loveland (DPL) procedure. These are the novelâ€¦Â (More)

Is this relevant?

Highly Cited

1986

Highly Cited

1986

- SIAM J. Comput.
- 1986

An algorithm for the 3-Satissability problem is presented and a probabilistic analysis is performed. The analysis is based on anâ€¦Â (More)

Is this relevant?

Highly Cited

1974

Highly Cited

1974

- J. ACM
- 1974

The key concepts for this automated theorem-proving paper are those of Horn set and strictly-unit refutation. A Horn set is a setâ€¦Â (More)

Is this relevant?