Institution Logo

Scholars@ODU

Scholars@odu

  • Home
  • People
  • Organizations
  • Research
  • Events
  • Capability Map
  • FAQ
placeholder image

Yinlei Yu

Visualizations
Co-author Network
Map of Science

Yinlei Yu

  • Publications

Publications

Selected Publications

Conference Papers

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.
  • About
  • Contact Us
  • Frequently Asked Questions
  • Browse Research
  • Known Issues
  • Old Dominion University

Powered by VIVO