Search BDD Related Papers

This engine searches in the full text of papers available on the WWW in PostScript or PDF format.
The search engine used is oMOPS a special version of MOPS customized for the BDD-Portal.
MOPS was created by Martin Mundhenk.
  • Simple search: Please enter a search term and submit
  • Complex search: Please use oMOPS directly.