Abstract
Ganian, Robert, Szeider, Stefan. New Width Parameters for SAT and Sharp-SAT. Artificial Intelligence, volume 295, pages 103460, 2021.
Type
Robert Ganian
Robert Ganian is a Professor at the Algorithms and Complexity Group.
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.