Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/516| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Marić, Filip | en_US |
| dc.contributor.author | Janičić, Predrag | en_US |
| dc.date.accessioned | 2022-08-13T10:14:43Z | - |
| dc.date.available | 2022-08-13T10:14:43Z | - |
| dc.date.issued | 2004-01-01 | - |
| dc.identifier.issn | 03029743 | en |
| dc.identifier.uri | https://research.matf.bg.ac.rs/handle/123456789/516 | - |
| dc.description.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. | en |
| dc.relation.ispartof | Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) | en_US |
| dc.title | ARGO-LIB: A generic platform for decision procedures | en_US |
| dc.type | Conference Paper | en_US |
| dc.relation.publication | International Joint Conference on Automated Reasoning IJCAR 2004 | en_US |
| dc.identifier.doi | 10.1007/978-3-540-25984-8_13 | - |
| dc.identifier.scopus | 2-s2.0-9444222759 | - |
| dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/9444222759 | - |
| dc.contributor.affiliation | Informatics and Computer Science | en_US |
| dc.contributor.affiliation | Informatics and Computer Science | en_US |
| dc.relation.firstpage | 213 | en_US |
| dc.relation.lastpage | 217 | en_US |
| dc.relation.volume | 3097 | en_US |
| item.fulltext | No Fulltext | - |
| item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
| item.cerifentitytype | Publications | - |
| item.grantfulltext | none | - |
| item.openairetype | Conference Paper | - |
| crisitem.author.dept | Informatics and Computer Science | - |
| crisitem.author.dept | Informatics and Computer Science | - |
| crisitem.author.orcid | 0000-0001-7219-6960 | - |
| crisitem.author.orcid | 0000-0001-8922-4948 | - |
| Appears in Collections: | Research outputs | |
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.