Login / Signup
The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures.
Jeffrey Van Baalen
Published in:
KR (1991)
Keyphrases
</>
building blocks
user experience
design decisions
information retrieval
case study
data driven
decision making
computational complexity
computer aided
conceptual framework
design tools