Joao Marques-Silva, Video: Towards MaxSAT-Based Proof Systems
Joao Marques-Silva, Video: Towards MaxSAT-Based Proof Systems
Joao Marques-Silva, Towards MaxSAT-Based Proof Systems, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video