There is no fulltext present in this item.

Find Full text  
Title: Efficient Theory Combination via Boolean Search
Author(s): Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, Tommi; Ranise, Silvio; Rossum, Peter van ; Sebastiani, Roberto
Publication year: 2006
Source: Information and Computation, vol. 10, iss. 10, (2006), pp. 1493-2525
ISSN: 0890-5401
Publication type: Article / Letter to editor

Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/35912   http://hdl.handle.net/2066/35912

Display more details
Subject: Security of Systems
Organization: Security of Systems
Journal title:
Information and Computation
Volume: vol. 10
Issue: iss. 10
Page start: p. 1493
Page end: p. 2525

This item appears in the following Collection(s)

Browse

Statistics