A satisfiability algorithm for sparse depth two threshold circuits

DOI10.1109/FOCS.2013.58MaRDI QIDQ6981727zbMATH OpenFDO

Authors Russell Impagliazzo, Ramamohan Paturi, Stefan Schneider

Publication date 20 May 2025

Full work available at URL https://escholarship.org/uc/item/7550d3c1

Mathematics Subject Classification ID

Combinatorics (05-XX) Computer science (68-XX) Information and communication theory, circuits (94-XX)

This page was built for publication: A satisfiability algorithm for sparse depth two threshold circuits

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