Author manuscript, published in "PSATTT'11: International Workshop on Proof-Search in Axiomatic Theories and Type Theories (2011)" Verifying SAT and SMT in Coq for a fully automated decision procedure (2011)

Cached

Download Links

by M. Arm , G. Faure , B. Grégoire , C. Keller , L. Théry , B. Werner