Efficient theory combination via boolean search

Reference:

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Silvio Ranise, Peter van Rossum, and Roberto Sebastiani. Efficient theory combination via boolean search. Information and Computation, 204(10):1493–1525, October 2006.

Suggested BibTeX entry:

@article{BozzanoBruttomessaCimattiJunttilaRaniseRossumSebastiani:IC2006,
    author = {Marco Bozzano and Roberto Bruttomesso and Alessandro Cimatti and Tommi Junttila and Silvio Ranise and Peter van Rossum and Roberto Sebastiani},
    journal = {Information and Computation},
    month = {October},
    number = {10},
    pages = {1493--1525},
    title = {Efficient theory combination via boolean search},
    volume = {204},
    year = {2006},
}