scientific article; zbMATH DE number 6930422
From MaRDI portal
Publication:4583745
zbMath1393.05125MaRDI QIDQ4583745
Bernd Steinbach, Christian Posthoff
Publication date: 3 September 2018
Full work available at URL: http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-21-number-5-6-2013/mvlsc-21-5-6-p-609-625/
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
rotation symmetryBoolean equationSAT-solverextremely complex taskfour-valued coloringrectangle-free gridXBOOLE
Related Items (1)
This page was built for publication: