A Rewriting Logic Framework for Soft Constraints.

Martin Wirsing Grit Denker Carolyn L. Talcott Andy Poggio Linda Briesemeister

Published in: WRLA (2006)

Keyphrases

soft constraints
logical framework
partial constraint satisfaction
relational databases
np complete
constraint satisfaction
hard constraints