Scholars@ODU
Scholars@odu
Browse
Browse
Home
People
Organizations
Research
Events
Capability Map
FAQ
Yinlei Yu
Visualizations
Co-author Network
Map of Science
Yinlei Yu
Publications
Publications
Selected Publications
Conference Papers
Filter
Year
Title
2004
Analysis of search based algorithms for satisfiability of propositional and quantified boolean formulas arising from circuit state space diameter problems
. 292-305.