CLP Based Static Property Checking.

Tun Li Yang Guo Sikun Li

Published in: ATVA (2004)

Keyphrases

constraint logic programming
constraint programming
databases
machine learning
image processing
multi agent systems
desirable properties
artificial intelligence
multiresolution