Publications in Venue "SAT Competition"
| 1. | M. Chowdhury, M. Müller, J. You. "GrandTour-obs Puzzle as a SAT Benchmark". SAT Competition, (ed: Heule , M J H , Järvisalo , M J & Suda , M), pp 59-60, June 2018.   |
Not Logged In
PapersDB
|
|
|
| 1. | M. Chowdhury, M. Müller, J. You. "GrandTour-obs Puzzle as a SAT Benchmark". SAT Competition, (ed: Heule , M J H , Järvisalo , M J & Suda , M), pp 59-60, June 2018. |
|
|
|
|