scientific article; zbMATH DE number 517057
From MaRDI portal
Publication:4282585
zbMath0794.03072MaRDI QIDQ4282585
No author found.
Publication date: 17 March 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveydecision problemscompactnessNP-completesatisfiabilitygraph colorabilityZF set theoryBoolean Prime Ideal TheoremDisjoint Transversals Axiom
Analysis of algorithms and problem complexity (68Q25) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Other set-theoretic hypotheses and axioms (03E65)
Related Items (5)
Out-degree reducing partitions of digraphs ⋮ Sublinear fully distributed partition with applications ⋮ Bipartite bihypergraphs: a survey and new results ⋮ Worm colorings ⋮ An Efficient Fixed-Parameter Algorithm for the 2-Plex Bipartition Problem
This page was built for publication:
