Previous Page | Next Page |
# | Year | Author(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
3 |
| ||||||||
2006 | 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 | Electronic Proceedings Article | ||||||
2006 | IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability | Electronic Proceedings | |||||||
2006 | Hillenbrand, Thomas Topic, Dalibor Weidenbach, Christoph | Sudokus as Logical Puzzles In: Proceedings of the Third Workshop on Disproving, 2-12 | Electronic Proceedings Article | ||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
|
Previous Page | Next Page |