Gábor Kusper. Finding Models for Blocked 3-SAT Problems in Linear Time by Systematical Refinement of a Sub-model. In Christian Freksa, Michael Kohlhase, Kerstin Schill, editors, KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings. Volume 4314 of Lecture Notes in Computer Science, pages 128-142, Springer, 2006. [doi]
Abstract is missing.