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.
2010
2010
Quantitative trait locus (QTL) analysis of growth and vegetative propagation traits in Eucalyptus nitens full-sib families
Tree growth and vegetative propagation are complex but important traits under selection in many tree improvement programmes. To… 
2003
2003
Spectrum of spin waves propagating in a periodic magnetic structure
2002
2002
Analysis of MIMO capacity gains for indoor propagation channels with LOS component
We analyse typical indoor propagation scenarios with respect to the capacity gain made available through the use of multiple… 
Highly Cited
1995
Highly Cited
1995
A Total Ordering Multicast Protocol Using Propagation Trees
  • X. Jia
  • IEEE Trans. Parallel Distributed Syst.
  • 1995
  • Corpus ID: 42462645
The paper discusses a multicast mechanism using propagation trees. It guarantees the total ordering (including causal ordering… 
Highly Cited
1994
Highly Cited
1994
Capture of genetic variation by vegetative propagation: processes determining success
Vegetative propagation offers the opportunity to rapidly overcome the limitations to domestication imposed by long generation… 
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… 
1993
1993
Comparative studies of constraint satisfaction and Davis-Putnam algorithms for maximum satisfiability problems
Maximum satissability (MAX-SAT) is an extension of satissability (SAT), in which a partial solution is sought that satisses the… 
1986
1986
Superstring propagation in curved superspace in the presence of background super Yang-Mills fields
1981
1981
Vegetative propagation of jojoba
Jojoba was successfully propagated from stem cuttings taken during active growth. Cutting-grown plants matured sooner than… 
1960
1960
The Neuristor
The NEURlSTOR, derived from neuron, is a term assigned to a class of structures that exhibits attenuationless signal propagation… 
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)