Month: December 2018

Workshop Report: TAASP 2018

Workshop Report: Trends and Applications of Answer Set Programming  (TAASP) 2018 By Stefan Woltran, TUWIEN, Austria The TAASP workshop series is jointly organized by research groups at Alpen-Adria-Universität  Klagenfurt, Technische Universität Wien, and Universität Potsdam. TAASP 2018 was the second…

The SAT Compiler in Picat

By Neng-Fa Zhou (CUNY Brooklyn College & Graduate Center) Abstract SAT solvers’ performance has drastically improved during the past 20 years, thanks to the inventions of techniques from conflict-driven clause learning, backjumping, variable and value selection heuristics, to random restarts.…