5 |
|
| Electronic Proceedings Article |
| |
| | | de Nivelle, Hans
Baumgartner, Peter
Fuchs, Alexander
Tinelli, Cesare | | Computing Finite Models by Reduction to Function-Free Clause Logic
In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 82-95 | |
| | | Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph | | Sudokus as Logical Puzzles
In: Proceedings of the Third Workshop on Disproving, 2-12 | |