D. Kroening

Identifiers

No identifiers captured yet.

Papers (2)

1. Satisfiability Checking meets Symbolic Computation (Project Paper) cs.SC · 2016 · author #13
2. Satisfiability Checking and Symbolic Computation cs.SC · 2016 · author #13

Mentions

No mention provenance yet.

Frequent Coauthors

• A. Cimatti 2 shared papers
• A. Griggio 2 shared papers
• A.M. Bigatti 2 shared papers
• B. Becker 2 shared papers
• B. Buchberger 2 shared papers
• E. Abraham 2 shared papers
• J. Abbott 2 shared papers
• J.H. Davenport 2 shared papers
• M. Brain 2 shared papers
• M. England 2 shared papers
• P. Fontaine 2 shared papers
• S. Forrest 2 shared papers
• T. Sturm 2 shared papers
• W.M. Seiler 2 shared papers