Showing 1 - 10 results of 10 for search 'Petke, J', query time: 0.02s
Refine Results
-
1
On the bridge between constraint satisfaction and Boolean satisfiability by Petke, J
Published 2012Thesis -
2
-
3
-
4
-
5
The order encoding: from tractable CSP to tractable SAT by Petke, J, Jeavons, P
Published 2011Report -
6
The order encoding: From tractable CSP to tractable SAT by Petke, J, Jeavons, P
Published 2011Journal article -
7
-
8
The order encoding: from tractable CSP to tractable SAT (extended abstract) by Petke, J, Jeavons, P
Published 2011Conference item -
9
-
10