Back to Results
First PageMeta Content
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


Anatomy of Alternating Quantifier Satisfiability (Work in progress) Anh-Dung Phan Technical University of Denmark Nikolaj Bjørner
Add to Reading List

Document Date: 2012-06-03 10:03:44

Open Document

File Size: 324,69 KB

Share Result on Facebook

City

New York / /

Company

J. Software / Real-Time Systems / Microsoft / /

Country

United States / /

Currency

cent / /

Facility

Cornell University / Anh-Dung Phan Technical University / /

IndustryTerm

quantifier elimination algorithm / quantifier satisfiability algorithm / satisfiability algorithms / cheaper algorithm / integer programming algorithm / auxiliary algorithm / /

Organization

Technical University of Denmark / Machine Intelligence / V M / Danish Research Foundation for Basic Research / Computer Science Department / Cornell University / /

Person

David Monniaux / Thomas A. Henzinger / William Pugh / Michael R. Hansen / David A. Plaisted / Ryan Stansifer / David G. Mitchell / Thomas Dillig / Isil Dillig / Martin Leucker / Helmut Veith / Yunshan Zhu / Martin Fr¨anzle / Andrei Voronkov / Michael O. Rabin / Michael Col´on / Matthieu Martel / Nikolaj Bjørner / Byron Cook / Derek C. Oppen / Arjun Kapur / Alex Aiken / M . Instead / Michael J. Fischer / Edward Y. Chang / Aske Wiid Brekling / Armin Biere / Paul Jackson / Anh-Dung Phan / Frank Wolter / /

Position

model / /

ProgrammingLanguage

J / C / /

ProvinceOrState

New York / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

auxiliary algorithm / called AQS algorithm / generalized algorithm / main algorithm / satisfiability algorithms / quantifier elimination algorithm / integer programming algorithm / instantiated algorithm / 2.1 Definitions The algorithm / developing algorithm / AQS algorithm / alternating quantifier satisfiability algorithm / 3.2 NNF strengthening Algorithm / 2.4 Algorithm / cheaper algorithm / /

URL

http /

SocialTag