TOAST: Applying Answer Set Programming to Superoptimisation-Reference-Cited by-同舟云学术

TOAST: Applying Answer Set Programming to Superoptimisation

Published:2006 Issue: Volume: Page:270-284
ISSN:0302-9743
Container-title:Logic Programming
language:
Short-container-title:

Author:

Brain Martin,Crick Tom,De Vos Marina,Fitch John

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11799573_21

Reference30 articles.

1. Lecture Notes in Computer Science;I. Niemelä,1997

2. Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The KR System DLV: Progress Report, Comparisons and Benchmarks. In: Proceedings of the 6th International Conference on the Principles of Knowledge Representation and Reasoning (KR 1998), pp. 406–417. Morgan Kaufmann, San Francisco (1998)

3. WASP: WP5 Report: Model Applications and Proofs-of-Concept (2004), http://www.kr.tuwien.ac.at/projects/WASP/wasp-wp5-web.html

4. Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: Using the DLV System for Planning and Diagnostic Reasoning. In: Proceedings of the 14th Workshop on Logic Programming WLP 1999, pp. 125–134 (2000)

5. Lecture Notes in Computer Science;M. Nogueira,2001

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Super-optimization of Smart Contracts;ACM Transactions on Software Engineering and Methodology;2022-07-12

2. Beyond Uniform Equivalence between Answer-set Programs;ACM Transactions on Computational Logic;2021-01-31

3. Synthesis of Super-Optimized Smart Contracts Using Max-SMT;Computer Aided Verification;2020

4. Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP;Theory and Practice of Logic Programming;2018-07

5. Program Synthesis for Program Analysis;ACM Transactions on Programming Languages and Systems;2018-06-30