| | 2006 | | [Ahrendt, Wolfgang]
[Baumgartner, Peter]
de Nivelle, Hans | | IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability | Electronic Proceedings | |
| | 2006 | de Nivelle, Hans
[Baumgartner, Peter]
[Fuchs, Alexander]
[Tinelli, Cesare] | [Ahrendt, Wolfgang]
[Baumgartner, Peter]
de Nivelle, Hans | | Computing Finite Models by Reduction to Function-Free Clause Logic
In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 82-95 | Electronic Proceedings Article | |
| | 2006 | Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph | [Ahrendt, Wolfgang]
Baumgartner, Peter
de Nivelle, Hans | | Sudokus as Logical Puzzles
In: Proceedings of the Third Workshop on Disproving, 2-12 | Electronic Proceedings Article | |
2 |
| Aichernig, Bernhard K. (ed.) |
| |
2 |
| Alferes, José Júlio (ed.) |
| |