Analysing Constraint Grammars with a SAT-solver.

Inari Listenmaa, Koen Claessen

Browse the full LREC paper archive.