LANGREITER.COM plain, simple | |||||||
START INDEX | |||||||
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 29 of the anonymous kind. Click on 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 &c. GeoURL RSS 0.92 FRIENDLY SHOPS Uncut Games bei Gameware OFFEN! Offenlegung gem. §25 MedienG: Christian Langreiter, Langkampfen See also: Privacy policy. |