Verifying SAT and SMT in Coq for a fully automated decision procedure (2011)

Cached

Download Links

by M. Armand , G. Faure , B. Grégoire , C. Keller , L. Théry , B. Werner
Venue:PSATTT'11: INTERNATIONAL WORKSHOP ON PROOF-SEARCH IN AXIOMATIC THEORIES AND TYPE THEORIES
Citations:3 - 2 self