Iverson, Vicki
| Author ID: | iverson.vicki  |
| Published as: | Iverson, Vicki |
| Documents Indexed: | 1 Publication since 2009 |
| Co-Authors: | 2 Co-Authors with 1 Joint Publication |
| 28 Co-Co-Authors |
Cited by 5 Authors
| 3 | Tentrup, Leander |
| 1 | de Moura, Leonardo |
| 1 | Hamadi, Youssef |
| 1 | Hecking-Harbusch, Jesko |
| 1 | Wintersteiger, Christoph M. |
Cited in 2 Serials
| 1 | Formal Methods in System Design |
| 1 | Journal of Satisfiability, Boolean Modeling and Computation |
Cited in 3 Fields
| 4 | Computer science (68-XX) |
| 1 | Mathematical logic and foundations (03-XX) |
| 1 | Game theory, economics, finance, and other social and behavioral sciences (91-XX) |
