Conflict-Driven Satisfiability for Theory Combination: Transition System and Completeness

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 04, 2019
Source ID
10.1007/s10817-018-09510-y

Entities

People

  • Maria Paola Bonacina
  • Natarajan Shankar
  • Stéphane Graham-Lengrand

Organizations

  • Defense Advanced Research Projects Agency
  • National Science Foundation
  • University of Verona