ARGO-LIB: A Generic Platform for Decision Procedures

机译：ARGO-LIB：决策程序的通用平台

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

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.

机译：ARGO-LIB是一个C ++库，为使用决策程序以及组合和扩充决策程序的方案提供支持。该平台遵循SMT-LIB计划，该计划旨在建立可满足性模理论的基准库。该平台可以轻松集成到其他系统中。它还可以使不同方法进行比较和统一，对新技术进行评估，并有望有助于推动该领域的发展。

著录项

来源
《International Joint Conference on Automated Reasoning(IJCAR 2004); 20040704-20040708; Cork; GB》|2004年|P.213-217|共5页
会议地点 Cork(IE);Cork(IE)
作者
Filip Marie; Predrag Janicic;
展开▼
作者单位

Faculty of Mathematics, University of Belgrade Studentski trg 16, 11 000 Belgrade, Serbia;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类数据处理、数据处理系统;
关键词

相似文献

外文文献
中文文献
专利

1. The CloudSME simulation platform and its applications: A generic multi-cloud platform for developing and executing commercial cloud-based simulations [J] . Simon J.E. Taylor, Tamas Kiss, Anastasia Anagnostou, Future generation computer systems . 2018,第NOVa期

机译：CloudSME仿真平台及其应用程序：用于开发和执行基于商业云的仿真的通用多云平台
2. Quebec's decision to follow Ontario's generic price reductions draws ire of generic industry [J] . Anonymous Canadian pharmacists journal: CPJ = Revue des pharmaciens du Canada : RPC . 2010,第5期

机译：魁北克决定跟随安大略省仿制药的价格下跌引起仿制药行业的愤怒
3. Simulated procedure rehearsal is more effective than a preoperative generic warm-up for endovascular procedures [J] . WillaertW.I.M., AggarwalR., DaruwallaF., Annals of Surgery . 2012,第6期

机译：对于血管内手术，模拟手术彩排比术前常规热身更有效
4. argo-lib: A Generic Platform for Decision Procedures [C] . Filip Maric, Predrag Janicic International Joint Conference on Automated Reasoning . 2004

机译：ARGO-LIB：决策程序的通用平台
5. A Generic Simulation-based Perioperative Decision Support Tool for Tactical Decisions. [D] . Sniekers, Daphne. 2013

机译：基于通用仿真的战术决策围术期决策支持工具。
6. Cross-platform comparability of microarray technology: Intra-platform consistency and appropriate data analysis procedures are essential [O] . Leming Shi, Weida Tong, Hong Fang, 2005

机译：微阵列技术的跨平台可比性：平台内一致性和适当的数据分析程序至关重要
7. Proposal for a Council Regulation (EC)on certain procedures for applying the Europe Agreement establishing an association between the European Communities and their Member States, of the one part, and the Czech Republic, of the other part; 94/0331 (ACC): Proposal for a Council Regulation (EC) on certain procedures for applying the Europe Agreement establishing an association between the European Communities and their Member States, of the one part, and the Slovak Republic, of the other part (presented by the Commission). Communication from the Commission: Request for Council assent and consultation of the ECSC committee, pursuant to Article 95 of the ECSC Treaty, concerning a draft; Commission Decisionon certain procedures for applying the Europe Agreement establishing an association between the European Communities and their Member States, of the one part, and the Czech Republic, of the other part; Commission Decisionon certain procedures for applying the Europe Agreement establishing an association between the European Communities and their Member States, of the one part, and the Slovak Republic, of the other part; Commission Decisionon certain procedures for applying the Agreement on free trade and trade-related matters between the European Community, the European Atomic Energy Community and the European Coal and Steel Community of the one part, and the Republic of Estonia, of the other part, Commission Decisionon certain procedures for applying the Agreement on free trade and trade-related matters between theEuropean Community, the European Atomic Energy Community and the European Coal and Steel Community of the one part, and the Republic of Latvia, of the other part, Commission Decision on certain procedures for applying the Agreement on free trade and trade-related matters between theEuropean Community, the European Atomic Energy Community and the European Coal and Steel Community of the one part, and the Republic of Lithuania, of the other part, Commission Decision on certain procedures for applying the Europe Agreement establishing an association between the European Communities and their Member States, of the one part, and the Republic of Bulgaria, of the other part; Commission Decision on certain procedures for applying the Europe Agreement establishing an association between the European Communities and their Member States, of the one part, and Romania, of the other part. COM (94) 680 final, 16 December 1994 [O] . 1994

机译：关于理事会条例（EC）的提案关于在欧洲共同体及其成员国之间建立欧洲协定的某些程序的一部分，另一部分是捷克共和国; 94/0331（aCC）：关于实施欧洲协定的某些程序的理事会条例（EC）的提案，其中一部分是欧洲共同体及其成员国与斯洛伐克共和国之间建立联系的另一部分（由委员会提出）。委员会的来文：根据ECsC条约第95条，要求理事会同意和协商ECsC委员会有关草案;佣金决定关于在欧洲共同体及其成员国之间建立欧洲协定的某些程序的一部分，另一部分是捷克共和国;佣金决定关于在欧洲共同体与其成员国之间建立联系的欧洲协定的某些程序，另一部分是斯洛伐克共和国;佣金决定关于欧洲共同体，欧洲原子能共同体和欧洲煤钢共同体之间的自由贸易和贸易相关事项协定的某些程序，以及另一部分委员会决定的爱沙尼亚共和国关于实施自由贸易和贸易相关事项协议的某些程序欧洲共同体，欧洲原子能共同体和欧洲煤钢共同体的一部分，以及拉脱维亚共和国的另一部分，委员会关于适用于自由贸易和贸易相关事项协定的某些程序的决定。欧洲共同体，欧洲原子能共同体和欧洲煤钢共同体的另一部分，立陶宛共和国，另一部分，委员会关于适用欧洲协定建立欧洲共同体与其其中一部分是成员国，另一部分是保加利亚共和国;委员会关于适用欧洲协定的某些程序的决定，其中一部分是欧洲共同体与其成员国之间建立联系，另一部分是罗马尼亚。 COm（94）680决赛，1994年12月16日

ARGO-LIB: A Generic Platform for Decision Procedures

摘要

著录项

相似文献

相关主题

期刊订阅