Sign in
Using Problem Structure for Efficient Clause Learning.
Ashish Sabharwal
Paul Beame
Henry A. Kautz
Published in:
SAT (2003)
Keyphrases
</>
clause learning
expert systems
search algorithm