Satisfiability Modulo the Theory of Costs: Foundations and Applications.
Alessandro CimattiAnders FranzénAlberto GriggioRoberto SebastianiCristian StenicoPublished in: TACAS (2010)
Keyphrases
- theoretical basis
- theoretical framework
- machine learning
- artificial intelligence
- computational complexity
- neural network
- expected cost
- total cost
- satisfiability problem
- phase transition
- propositional theories
- general theory
- constraint satisfaction
- special case
- bayesian networks
- website
- information systems
- social networks
- search engine