Cube-Based Isomorph-Free Finite Model Finding.

Choiwah Chow, Mikols Janota, Joo Arajo

Browse the full ECAI paper archive.