VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

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

Disclaimer | Powered by EasyChair Smart Program