scientific article
From MaRDI portal
Publication:3429155
zbMath1116.68084MaRDI QIDQ3429155
Matti Järvisalo, Petteri Kaski, Harri Haanpää, Ilkka Niemelä
Publication date: 30 March 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Optimal testing for planted satisfiability problems, On the hardness of solving edge matching puzzles as SAT or CSP problems
Uses Software