Login / Signup
Efficient theory combination via boolean search.
Marco Bozzano
Roberto Bruttomesso
Alessandro Cimatti
Tommi A. Junttila
Silvio Ranise
Peter van Rossum
Roberto Sebastiani
Published in:
Inf. Comput. (2006)
Keyphrases
</>
search algorithm
efficient search
theoretical basis
search strategy
general theory
disk space
effective pruning
real time
cost effective
solution space
data mining
website
theoretical framework
search strategies
boolean functions
indexing structure