Your search returned the following 3 documents:
-
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
-
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
-
Sudokus as Logical Puzzles
Thomas Hillenbrand, Dalibor Topic, and Christoph Weidenbach
In: Proceedings of the Third Workshop on Disproving, Seattle, USA, 2006, 2-12