Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach.

Tevfik Bultan Richard Gerber Christopher League

Published in: ISSTA (1998)

Keyphrases

management system
building blocks
complex systems
constraint satisfaction
expert systems
learning systems
information systems
multi agent systems
evolutionary algorithm
intelligent systems
knowledge based systems
np complete
geometric constraints