Testing formula satisfaction

DOI10.1007/978-3-642-31155-0_33MaRDI QIDQ2904572zbMATH OpenOpenAlexFDO

Authors Eldar Fischer, Yonatan Goldhirsh, Oded Lachish

Publication date 14 August 2012

Published in Algorithm Theory – SWAT 2012 (Search for Journal in Brave)

Full work available at URL https://eprints.bbk.ac.uk/id/eprint/9835/1/Formula.pdf

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Testing Read-Once Formula Satisfaction
• Testing Basic Boolean Formulae
• Some 3CNF Properties Are Hard to Test
• Learning read-once formulas with queries
• Exact Identification of Read-Once Formulas Using Fixed Points of Amplification Functions

Cited in

(3)

• Testing Read-Once Formula Satisfaction
• Testing Basic Boolean Formulae
• Some 3CNF Properties Are Hard to Test

This page was built for publication: Testing formula satisfaction

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