Warren Hunt

Identifiers

No identifiers captured yet.

Papers (1)

1. Efficient Certified RAT Verification cs.LO · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Lu\'is Cruz-Filipe 1 shared papers
• Marijn Heule 1 shared papers
• Matt Kaufmann 1 shared papers
• Peter Schneider-Kamp 1 shared papers