PPSZ is better than you think

DOI10.46298/THEORETICS.24.5MaRDI QIDQ6566465FDOQ6566465

D. Scheder

Publication date: 3 July 2024

Published in: TheoretiCS (Search for Journal in Brave)

zbMATH Keywords

randomized algorithmsatisfiabilityNP-complete problems

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Theory and Applications of Satisfiability Testing

This page was built for publication: PPSZ is better than you think

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6566465)