Symbolic Solutions for Symbolic Constraint Satisfaction Problems.

Alexsander Andrade de Melo, Mateus de Oliveira Oliveira

Browse the full KR paper archive.