About a Surprising Computer Program of Matthias Müller

DOI10.1007/978-3-319-28186-5_9zbMath1420.68100OpenAlexW2505733753MaRDI QIDQ5354938

Mihai Prunescu

Publication date: 6 September 2017

Published in: Convexity and Discrete Geometry Including Graph Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-28186-5_9

zbMATH Keywords

computational complexitypolynomial time3-SAT\(\mathrm{P} = \mathrm{NP}\)clause table

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10)

This page was built for publication: About a Surprising Computer Program of Matthias Müller