A Flexible Proof Format for SMT: a Proposal.

Frédéric Besson Pascal Fontaine Laurent Théry

Published in: PxTP (2011)

Keyphrases

databases
theorem proving
multimedia
data sets
mobile robot
theorem prover
social networks
metadata
web services
automated theorem proving