SAT Modulo Intuitionistic Implications.

Koen Claessen, Dan Rosn

Browse the full LPAR paper archive.