Your search returned the following 3 documents:

3. Computing Finite Models by Reduction to Function-Free Clause Logic
   Hans de Nivelle, Peter Baumgartner, Alexander Fuchs, and Cesare Tinelli
   In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, Seattle, USA, 2006, 82-95
   
2. IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability
   Wolfgang Ahrendt, Peter Baumgartner, and Hans de Nivelle(Ed.)
   , The 2006 Federated Logic Conference, Seattle, 2006
   
1. Sudokus as Logical Puzzles
   Thomas Hillenbrand, Dalibor Topic, and Christoph Weidenbach
   In: Proceedings of the Third Workshop on Disproving, Seattle, USA, 2006, 2-12