Assertion Checking of Behavioral Descriptions with Non-linear Solver.

Iñigo Ugarte Pablo Sanchez

Published in: ICCD (2005)

Keyphrases

high level
human behavior
data sets
databases
search algorithm
behavioral model
object descriptions
artificial neural networks
conceptual models
constraint solving
constraint solver
human decision making
quantified boolean formulas