Marques-Silva, Joao , Biere, Armin and Strichman, Ofer (eds.) (2007) Interpolant Learning and Reuse in SAT-Based Model Checking. Electronic Notes in Theoretical Computer Science, 174 (3), 31-43. (doi:10.1016/j.entcs.2006.12.021).
Record type:
Article
More information
Published date: May 2007
Additional Information:
10.1016/j.entcs.2006.12.021 Event Dates: August 2006
Venue - Dates:
Workshop on Bounded Model Checking, Seattle, United States, 2006-08-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 263663
URI: http://eprints.soton.ac.uk/id/eprint/263663
PURE UUID: 33ccc111-3eee-4517-a1e5-eadcb24548f0
Catalogue record
Date deposited: 06 Mar 2007
Last modified: 14 Mar 2024 07:36
Export record
Altmetrics
Contributors
Author:
Joao Marques-Silva
Editor:
Armin Biere
Editor:
Ofer Strichman
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.