Andres N\"otzli

Identifiers

No identifiers captured yet.

Papers (3)

1. CVC4SY for SyGuS-COMP 2019 cs.LO · 2019 · author #3
2. CVC4 at the SMT Competition 2018 cs.LO · 2018 · author #8
3. LifeJacket: Verifying precise floating-point optimizations in LLVM cs.PL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrew Reynolds 2 shared papers
• Cesare Tinelli 2 shared papers
• Clark Barrett 2 shared papers
• Haniel Barbosa 2 shared papers
• Aina Niemetz 1 shared papers
• Duligur Ibeling 1 shared papers
• Fraser Brown 1 shared papers
• Martin Brain 1 shared papers
• Mathias Preiner 1 shared papers
• Paul Meng 1 shared papers
• Tim King 1 shared papers