Satisfiability coding lemma

DOI10.1109/SFCS.1997.646146MaRDI QIDQ7251088zbMATH OpenFDO

Authors Ramamohan Paturi, Pavel Pudlák, F. Zane

Publication date 21 May 2026

Full work available at URL https://doi.org/10.1109/SFCS.1997.646146

Mathematics Subject Classification ID

Computer science (68-XX)

Cited in

(1)

• \#SAT-algorithms for classes of threshold circuits based on probabilistic rank

This page was built for publication: Satisfiability coding lemma

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