Approximating satisfiable satisfiability problems (extended abstract)

DOI10.1007/3-540-63397-9_36zbMath1477.68539OpenAlexW2172622297MaRDI QIDQ826119

Luca Trevisan

Publication date: 20 December 2021

Full work available at URL: https://doi.org/10.1007/3-540-63397-9_36

zbMATH Keywords

approximation algorithmsatisfiability problemconstraint satisfaction problemsatisfying assignmentunit clause

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Approximation algorithms (68W25) Computational aspects of satisfiability (68R07)

This page was built for publication: Approximating satisfiable satisfiability problems (extended abstract)