Testing formula satisfaction

DOI10.1007/978-3-642-31155-0_33zbMATH Open1357.68082OpenAlexW1858197647MaRDI QIDQ2904572FDOQ2904572

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

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

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)