Satisfiability Checking for PC(ID).

Maarten Mariën Rudradeb Mitra Marc Denecker Maurice Bruynooghe

Published in: LPAR (2005)

Keyphrases

personal computer
high level
feature extraction
open source
databases
machine learning
artificial intelligence
data model