Amanote Research
Register
Sign In
Grasp—A New Search Algorithm for Satisfiability
doi 10.1007/978-1-4615-0292-0_7
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2003
Authors
João P. Marques Silva
Karem A. Sakallah
Publisher
Springer US