Model-Intersection Problems and Their Solution Schema Based on Equivalent Transformation.

Kiyoshi Akama, Ekawit Nantajeewarawat

Browse the full IC3K paper archive.