Scalable Proof Production and Checking in SMT (Invited Talk).

Published in: SAT (2024)

Keyphrases

invited talk
selected papers
knowledge discovery and data mining
statistical machine translation
artificial intelligence
production system
theorem proving
production planning
program committee
information retrieval
decision making
case based reasoning