On the minimum satisfiability problem

DOI10.1007/978-3-030-39219-2_23zbMath1453.68115OpenAlexW3000966481MaRDI QIDQ779212

Umair Arif, Robert Benkoczi, Daya Ram Gaur, Ramesh Krishnamurti

Publication date: 21 July 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-39219-2_23

zbMATH Keywords

approximation algorithmprimal-dual algorithmminimum satisfiability

Mathematics Subject Classification ID

Approximation algorithms (68W25) Computational aspects of satisfiability (68R07)

Related Items (1)

Revisiting maximum satisfiability and related problems in data streams

This page was built for publication: On the minimum satisfiability problem