Towards Automated Strategies in Satisfiability Modulo Theory.

Nicolás Gálvez Ramírez Youssef Hamadi Éric Monfroy Frédéric Saubion

Published in: EuroGP (2016)

Keyphrases

formal theory
information retrieval
computational complexity
theoretical framework
satisfiability problem
decision procedures
fully automated
theoretical basis
automated analysis
database
neural network
search engine
database systems
computer aided
propositional logic
semi automated