Marc Vinyals, Video: Proof Systems for Pseudo-Boolean Solving
Marc Vinyals, Video: Proof Systems for Pseudo-Boolean Solving
Marc Vinyals, Proof Systems for Pseudo-Boolean Solving, Theory and Practice of Satisfiability Solving, BIRS, BIRS talk, 18w5208, math, mathematics, video