Back to Results
First PageMeta Content
Automated theorem proving / Complexity classes / Boolean algebra / Model theory / True quantified Boolean formula / Predicate logic / Resolution / Skolem normal form / FO / Theoretical computer science / Mathematics / Mathematical logic


A First Step Towards a Unified Proof Checker for QBF Toni Jussila1 , Armin Biere1 , Carsten Sinz2 , Daniel Kr¨ oning3 , and Christoph M. Wintersteiger3 1
Add to Reading List

Document Date: 2008-01-30 18:21:35

Open Document

File Size: 217,73 KB

Share Result on Facebook

City

Skolemization / DPLL / /

Company

Intel / /

Currency

pence / /

Facility

Computer Systems Institute / Johannes Kepler University / /

IndustryTerm

finite-state systems / /

Organization

U.S. Securities and Exchange Commission / University of T¨ / Institute for Computer Science / Computer Systems Institute / Johannes Kepler University / /

Person

Daniel Kr / /

Position

player / Major / /

Product

Koss P 4 Headphone/Headset / /

ProgrammingLanguage

T / C / /

Technology

artificial intelligence / RAM / /

URL

http /

SocialTag