Inproceedings,

Restructuring Logic Representations with Easily Detectable Simple Disjunctive Decompositions.

, , and .
DATE, page 755-759. IEEE Computer Society, (1998)

Meta data

Tags

Users

  • @dblp

Comments and Reviews