Reasoning about Conditional Constraint Specifications.

Raphael A. Finkel Barry O'Sullivan

Published in: ICTAI (2009)

Keyphrases

formal specification
high level
linear constraints
random field model
delay insensitive
qualitative reasoning
formal theory
asynchronous circuits
database
real time
linear programming
conditional probabilities
spatial reasoning
soft constraints
conditional logic