|
|
EMSQMS 2010: Author IndexAuthor | 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 |
|
|
|