scientific article; zbMATH DE number 6930499

zbMATH Open1393.05126MaRDI QIDQ4583806

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-24-number-1-4-2015/mvlsc-24-1-4-p-369-404/

Title of this publication is not available (Why is that?)

zbMATH Keywords

soft computingBoolean equationpermutation classSAT-solverfour-valued coloringrectangle-free grid

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Reasoning under uncertainty in the context of artificial intelligence (68T37) Coloring of graphs and hypergraphs (05C15) Software, source code, etc. for problems pertaining to combinatorics (05-04)

Related Items (1)

Title not available (Why is that?)

Uses Software

• Title not available (Why is that?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583806)