Abstract - IPAM

Abstract

Optimization and Relaxation in SAT Search

Sharad Malik

Princeton University

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