Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/516
Title: ARGO-LIB: A generic platform for decision procedures
Authors: Marić, Filip 
Janičić, Predrag 
Affiliations: Informatics and Computer Science 
Informatics and Computer Science 
Issue Date: 1-Jan-2004
Related Publication(s): International Joint Conference on Automated Reasoning IJCAR 2004
Journal: Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
Abstract: 
ARGO-LIB is a C++ library that provides support for using decision procedures and for schemes for combining and augmenting decision procedures. This platform follows the SMT-LIB initiative which aims at establishing a library of benchmarks for satisfiability modulo theories. The platform can be easily integrated into other systems. It also enables comparison and unifying of different approaches, evaluation of new techniques and, hopefully, can help in advancing the field.
URI: https://research.matf.bg.ac.rs/handle/123456789/516
ISSN: 03029743
DOI: 10.1007/978-3-540-25984-8_13
Appears in Collections:Research outputs

Show full item record

SCOPUSTM   
Citations

7
checked on Dec 21, 2024

Page view(s)

19
checked on Dec 24, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.