Building a push-button RESOLVE verifier: Progress and challenges

Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide. Building a push-button RESOLVE verifier: Progress and challenges. Formal Asp. Comput., 23(5):607-626, 2011. [doi]

Abstract

Abstract is missing.