Date: 2015-04-10 18:09:41

Formal methods

Electronic design automation

Logic in computer science

NP-complete problems

Constraint programming

Satisfiability Modulo Theories

Quicken Interchange Format

Java Pathfinder

Boolean satisfiability problem

Theoretical computer science

Mathematics

Applied mathematics

Abstract Model Counting: a novel approach for Quantification of Information Leaks Quoc-Sang Phan Pasquale Malacaria

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 470,62 KB