CDCL-Based Abstract State Transition System for Coherent Logic.

Mladen Nikolic, Predrag Janicic

Browse the full AISC paper archive.