Video From 14w5101: Theoretical Foundations of Applied SAT Solving
Carsten Sinz, Karlsruhe Institute of Technology
Friday, January 24, 2014 09:04 - 09:32
Abstraction and multi-encodings in SAT
©2024 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.