Skip to content

Satisfiability Modulo Constraint Handling Rules (Extended Abstract).

Gregory James Duck

VenueA*IJCAI
Year2013
ProceedingsIJCAI

Browse the full IJCAI paper archive.