LAUSR

Set-Blocked Clause and Extended Set-Blocked Clause in First-Order Logic

Sign Up to like & get
recommendations!
1 Published in 2018 at "Symmetry"

DOI: 10.3390/sym10110553

Abstract: Due to scale and complexity of first-order formulas, simplifications play a very important role in first-order theorem proving, in which removal of clauses and literals identified as redundant is a significant component. In this paper,… read more here.

Keywords: clause; set blocked; first order; blocked clause ... See more keywords