Reasoning about Conditional Constraint Specifications

2009 21st IEEE International Conference on Tools with Artificial Intelligence ◽

10.1109/ictai.2009.88 ◽

2009 ◽

Author(s):

Raphael Finkel ◽

Barry O'Sullivan

Download Full-text