Anatomy of Alternating Quantifier Satisfiability (Work in progress).

Anh-Dung Phan Nikolaj Bjørner David Monniaux

Published in: SMT@IJCAR (2012)

Keyphrases

three dimensional
satisfiability problem
np complete
propositional logic
medical images
computational complexity
imaging modalities
neural network
relational databases
decision procedures
reasoning problems