Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems.

Jeffrey Van Baalen Steve Roach

Published in: LOPSTR (1998)

Keyphrases

decision procedures
domain specific
distributed systems
search algorithm
general purpose
conjunctive queries
automated reasoning
machine learning
data model
programming language
modal logic