QUANTIFY 2014 WORKSHOP REPORT: KEYWORD INDEX

Shortcuts: E H I M P Q R S T

E
E-matching	Finding Conflicting Instances of Quantified Formulas in SMT (PDF, talk)
equational constraint	Projective Quantifier Elimination for Equational Constraint Solving (PDF, talk)
explosion rule	Projective Quantifier Elimination for Equational Constraint Solving (PDF, talk)
H
Herbrand model	Projective Quantifier Elimination for Equational Constraint Solving (PDF, talk)
I
implicit generalization	Projective Quantifier Elimination for Equational Constraint Solving (PDF, talk)
M
Modelling	Encoding Reachability with Quantification (PDF, talk)
P
planning	Encoding Reachability with Quantification (PDF, talk)
Projection	Projective Quantifier Elimination for Equational Constraint Solving (PDF, talk)
Q
QBF	Encoding Reachability with Quantification (PDF, talk)
Quantified Boolean Formula	Encoding Reachability with Quantification (PDF, talk)
Quantified Formulas	Finding Conflicting Instances of Quantified Formulas in SMT (PDF, talk)
quantifier elimination	Projective Quantifier Elimination for Equational Constraint Solving (PDF, talk)
R
Reachability	Encoding Reachability with Quantification (PDF, talk)
S
SMT	Finding Conflicting Instances of Quantified Formulas in SMT (PDF, talk)
T
term algebra	Projective Quantifier Elimination for Equational Constraint Solving (PDF, talk)