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 23, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.