Minimizing Conjunctive Forms
Although this page is under construction, don't expect it to change
too soon. I guess I won't touch it, unless I get too much feedback
encouraging me to do so ...
- The Text
- in DVI-format (about 130Kb)
- in PostScript(600dpi)
(download this only if you cannot handle DVI-files)
- The Example Implementation. It is ugly, undocumented and incomplete,
but if you know Tcl/Tk you can have a look at the source and try to
figure out what it does and where to click which mouse-button.
(Version 7.4/4.0 or later) to run the program.
Last modified 16.6.97 (AvL)