Analysis of search based algorithms for satisfiability of propositional and quantified boolean formulas arising from circuit state space diameter problems

Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik

Research output: Contribution to journalConference articlepeer-review

2 Scopus citations

Fingerprint

Dive into the research topics of 'Analysis of search based algorithms for satisfiability of propositional and quantified boolean formulas arising from circuit state space diameter problems'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science