Abstract - IPAM

Abstract

The New Architecture and Solvers in the Barcelogic Tool for SAT Modulo Theories

Robert Nieuwenhuis

Polytechnical University of Cataluña (Barcelona)

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