In Proceedings of IC-AI 2001, July 25 2001.
In Proc. IEEE Canadian Conference on Electrical & Computer Engineering (CCECE'99), volume 1, pages 462-467, May 1999.
In J. Gu and P.M. Pardalos, editors, Satisfiability problems, volume 35 of DIMACS Series on Discrete Mathematics and Theoretical Computer Science, pages 711-724. American Mathematical Society, 1997.
In IEEE 4th World Multiconference on Circuits, Systems, Communications & Computers, July 2000.