A Divide & Conquer Approach to Conditional Stable Model Checking.

Yati Phyo, Canh Minh Do, Kazuhiro Ogata

Browse the full ICTAC paper archive.