QUANTIFY 2014 WORKSHOP REPORT: AUTHOR INDEX

Shortcuts: C D F G H L R T Á

C
Cashmore, Michael	Encoding Reachability with Quantification (PDF, talk)
D
De Moura, Leonardo	Finding Conflicting Instances of Quantified Formulas in SMT (PDF, talk)
F
Fox, Maria	Encoding Reachability with Quantification (PDF, talk)
G
Giunchiglia, Enrico	Encoding Reachability with Quantification (PDF, talk)
H
Hermo, Montserrat	Projective Quantifier Elimination for Equational Constraint Solving (PDF, talk)
L
Lucio, Paqui	Projective Quantifier Elimination for Equational Constraint Solving (PDF, talk)
R
Reynolds, Andrew	Finding Conflicting Instances of Quantified Formulas in SMT (PDF, talk)
T
Tinelli, Cesare	Finding Conflicting Instances of Quantified Formulas in SMT (PDF, talk)
Á
Álvez, Javier	Projective Quantifier Elimination for Equational Constraint Solving (PDF, talk)