Skip to search formSkip to main contentSkip to account menu

Unit propagation

Known as: Unit clause 
Unit propagation (UP) or Boolean Constraint propagation or the one-literal rule (OLR) is a procedure of automated theorem proving that can simplify a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
AlgorithmAutomated theorem provingBoolean satisfiability problemClause (logic)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Fast Track Communication
According to Landauer’s principle, a minimum amount of energy proportional to temperature must be dissipated during the erasure… 
Highly Cited
2006
Highly Cited
2006
Microclonal propagation of Vaccinium sp. and Rubus sp. and detection of genetic variability in culture in vitro
Five high-bush blueberry, two lingonberry, and six raspberry cultivars were evaluated in terms of their regeneration capacity… 
Highly Cited
2006
Highly Cited
2006
Implementing the Model Evolution Calculus
Darwin is the first implementation of the Model Evolution Calculus by Baumgartner and Tinelli. The Model Evolution Calculus lifts… 
Highly Cited
2005
Highly Cited
2005
A SAT-Based Version Space Algorithm for Acquiring Constraint Satisfaction Problems
Constraint programming is rapidly becoming the technology of choice for modelling and solving complex combinatorial problems… 
Highly Cited
2000
Highly Cited
2000
Fault rupture between dissimilar materials: Ill-posedness, regularization, and slip-pulse response
Faults often separate materials with different elastic properties. Nonuniform slip on such faults induces a change in normal… 
Highly Cited
2000
Highly Cited
2000
On the complexity of choosing the branching literal in DPLL
Highly Cited
1993
Highly Cited
1993
Automatic Generation of Some Results in Finite Algebra
This is a report of the application of the Model Generation Theorem Prover developed at ICOT to problems in the theory of finite… 
Highly Cited
1975
Highly Cited
1975
A two-scale scattering model for foam-free sea microwave brightness temperatures
A two-scale surface comprised of small irregularities superimposed on large undulations is defined from an empirical sea spectrum… 
Highly Cited
1974
Highly Cited
1974
Unit Refutations and Horn Sets
The key concepts for this automated theorem-proving paper are those of Horn set and strictly-unit refutation. A Horn set is a set… 
Highly Cited
1960
Highly Cited
1960
Asexual propagation and regeneration
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)