J. Abbott

Identifiers

No identifiers captured yet.

Papers (3)

1. Satisfiability Checking meets Symbolic Computation (Project Paper) cs.SC · 2016 · author #2
2. Satisfiability Checking and Symbolic Computation cs.SC · 2016 · author #2
3. Low Temperature Results for the Heisenberg XXZ and XY Models math-ph · 2003 · author #1

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
• D. Kroening 2 shared papers
• E. Abraham 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