Back to Results
First PageMeta Content
Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Boolean algebra / Boolean satisfiability problem / Satisfiability Modulo Theories / Solver / True quantified Boolean formula / Theoretical computer science / Applied mathematics / Mathematics


Document Date: 2007-08-26 10:17:21

Open Document

File Size: 306,19 KB

Share Result on Facebook

Company

YASMv2 / Kendall / /

/

Facility

Vassar College / QBF arena / /

IndustryTerm

parametric tools / sound solution / constraint programming systems / computing / /

Organization

American Mathematical Society / US Federal Reserve / Vassar College / /

Person

Luca Pulina / Vinay / V / Armando Tacchella / Cristiano Ghersi / /

Position

author / Mathematician / /

Product

Holm / Shapiro-Wilk (Kanji 1999) / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

artificial intelligence / hybridization / http / /

URL

www.qbflib.org / http /

SocialTag