Back to Results
First PageMeta Content
Mathematics / Metalogic / Logic in computer science / Electronic design automation / NP-complete problems / Automated theorem proving / Satisfiability Modulo Theories / John Rushby / Model checking / Theoretical computer science / Formal methods / Logic


Document Date: 2006-08-26 05:21:04

Open Document

File Size: 58,63 KB

Share Result on Facebook
UPDATE