|
|
EMSQMS 2010: Author Index| Author | Papers |
|---|
| B | | Benzmüller, Christoph | Adaptive Assertion-Level Proofs | | Brummayer, Robert | Exploring Predictability of SAT/SMT Solvers | | C | | Chang, Cynthia | Different Proofs are Good Proofs | | D | | Deters, Morgan | The SMT Execution Service: Features, Fairness, and the Future | | Ding, Li | Different Proofs are Good Proofs | | L | | Leslie-Hurd, Joe | Evaluation Opportunities in Mechanized Theories | | M | | McGuinness, Deborah | Different Proofs are Good Proofs | | N | | Nikolic, Mladen | Statistical Methodology for Comparison of SAT Solvers | | O | | Oe, Duckki | Exploring Predictability of SAT/SMT Solvers | | P | | Peschiera, Claudia | Designing a solver competition: the QBFEVAL'10 case study | | Pinheiro, Paulo | Different Proofs are Good Proofs | | Pulina, Luca | Designing a solver competition: the QBFEVAL'10 case study | | S | | Schiller, Marvin | Adaptive Assertion-Level Proofs | | Stump, Aaron | Exploring Predictability of SAT/SMT Solvers | | Sutcliffe, Geoff | Different Proofs are Good Proofs | | T | | Tacchella, Armando | Designing a solver competition: the QBFEVAL'10 case study |
|
|
|
