Login / Signup
A robust functional ECO engine by SAT proof minimization and interpolation techniques.
Bo-Han Wu
Chun-Ju Yang
Chung-Yang Huang
Jie-Hong Roland Jiang
Published in:
ICCAD (2010)
Keyphrases
</>
satisfiability problem
half quadratic
neural network
theorem prover
linear interpolation
data sets
knowledge base
search algorithm
np complete
theorem proving