Abstract - IPAM

Abstract

Beyond Satisfiability: Model Counting, Quantification, and Randomization

Carla Gomes

Cornell University

No video available
Back to Affiliates Workshop: Satisfiability Solvers and Program Verification