Efficient Theory Combination via Boolean Search

Find Full text
Publication year
2006
Author(s)
Bozzano, Marco
Bruttomesso, Roberto
Cimatti, Alessandro
Junttila, Tommi
Ranise, Silvio
Rossum, Peter van
Sebastiani, Roberto
Source
Information and Computation, 10, 10, (2006), pp. 1493-2525
ISSN
Publication type
Article / Letter to editor
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/35912   https://hdl.handle.net/2066/35912
Display more details

Upload full text

Use your RU credentials (u/z-number and password) tolog in with SURFconextto upload a file for processing by the repository team.