On SAT01 Problem

Stanislav Busygin. On SAT01 Problem. In Joxan Jaffar, editor, Principles and Practice of Constraint Programming - CP 99, 5th International Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings. Volume 1713 of Lecture Notes in Computer Science, pages 476-477, Springer, 1999.

Abstract

Abstract is missing.