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 / True quantified Boolean formula / Solver / Theoretical computer science / Applied mathematics / Mathematics


Document Date: 2006-11-16 10:32:03

Open Document

File Size: 333,96 KB

Share Result on Facebook

Company

Armando Tacchella 1 Abstract Systems / Kendall / /

Event

Product Issues / Product Recall / /

IndustryTerm

sound solution / constraint programming systems / /

Organization

Italian Ministry / YASM / US Federal Reserve / /

Person

Luca Pulina / Elena Seghezza / /

/

Product

positional scoring procedure / /

Technology

hybridization / /

SocialTag