LANGREITER.COM plain, simple
      START     INDEX
 
robdd-notesVisualize Context (requires Java Plug-in)
CREATED BY chris • LAST EDITED BY chris 6569 days AGO
advantages:
- commonly encountered fns have reasonable repr
- non-catastrophic performance
- canonical form
- equivalence check: two graphs match exactly (~)
- satisfiability check: compare to graph of 0 (~g 0)

disadvantages:
- ordering of inputs required (coNP-complete)

Randy Bryant: Graph-Based Algorithms for Boolean Function Manipulation

www2.informatik.hu-berlin.de/~kschmidt/modelchecking/node29.html


  SEARCH

GET YOUR MOVE ON

  ALMOST ALL ABOUT YOU
So log in, fella — or finally get your langreiter.com account. You always wanted one.
Nearby in the temporal dimension:
Nobody.
... and 27 of the anonymous kind.
Click on Join us in the chatterbox dimension! for a moderate dose of lcom-talk. This will probably not work in Lynx and other browser exotica.


BACKLINKS
  BDD

RECENT EDITS (MORE)
  films-seen
  Blood Stone
  y!kes
  wet towel
  B Studio
  Pilcrow News
  Nastassja Kinski
  2011-10-06-steve
  2011-10-06
  comment-2011-08-04-1

POWERED BY
Special Entanglement Forces provided by Vanilla

&c.
GeoURL RSS 0.92

FRIENDLY SHOPS
Uncut Games bei Gameware

OFFEN!
Offenlegung gem. §25 MedienG:
Christian Langreiter, Langkampfen
See also: Privacy policy.



 
EDIT