scientific article; zbMATH DE number 6861969

From MaRDI portal

Publication:4636519

Jump to:navigation, search

DOI10.4230/LIPIcs.ISAAC.2016.36zbMath1398.68243MaRDI QIDQ4636519

Publication date: 19 April 2018

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

zbMATH Keywords

constraint satisfaction problem dichotomy clone theory trichotomy Boolean robust satisfiability

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Boolean programming (90C09) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4636519&oldid=18829077"