Exploring Different Constraint-Based Modelings for Program Verification.

Hélène Collavizza Michel Rueher

Published in: CP (2007)

Keyphrases

constraint satisfaction
artificial intelligence
genetic algorithm
website
np hard
databases
social networks
objective function
general purpose