![Model theory / Logic in computer science / Predicate logic / Computability theory / Metalogic / Quantifier elimination / Satisfiability Modulo Theories / Presburger arithmetic / True quantified Boolean formula / Theoretical computer science / Logic / Mathematical logic Model theory / Logic in computer science / Predicate logic / Computability theory / Metalogic / Quantifier elimination / Satisfiability Modulo Theories / Presburger arithmetic / True quantified Boolean formula / Theoretical computer science / Logic / Mathematical logic](https://www.pdfsearch.io/img/126f6161e117c3fed9c48920d4cf8044.jpg) Date: 2012-06-03 10:03:44Model theory Logic in computer science Predicate logic Computability theory Metalogic Quantifier elimination Satisfiability Modulo Theories Presburger arithmetic True quantified Boolean formula Theoretical computer science Logic Mathematical logic | | Anatomy of Alternating Quantifier Satisfiability (Work in progress) Anh-Dung Phan Technical University of Denmark Nikolaj BjørnerAdd to Reading ListSource URL: research.microsoft.comDownload Document from Source Website File Size: 324,69 KBShare Document on Facebook
|