scientific article; zbMATH DE number 6930532

zbMath1393.05127MaRDI QIDQ4583836

Christian Posthoff, Bernd Steinbach

Publication date: 3 September 2018

Full work available at URL: http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-25-number-4-5-2015/mvlsc-25-4-5-p-461-490/

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Latin squareBoolean equationpermutation classfour-valued coloringrectangle-free gridSATsolver

Mathematics Subject Classification ID

Coloring of graphs and hypergraphs (05C15) Software, source code, etc. for problems pertaining to combinatorics (05-04)

Related Items (2)

The complexity of grid coloring ⋮ Fast Optimal Synthesis of Symmetric Index Generation Functions

This page was built for publication: