Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs-Reference-Cited by-同舟云学术

Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs

Published:2016-02-16 Issue:1 Volume:57 Page:3-36
ISSN:0168-7433
Container-title:Journal of Automated Reasoning
language:en
Short-container-title:J Autom Reasoning

Author:

Schlaipfer Matthias,Weissenbacher Georg

Funder

Austrian Science Fund

Vienna Science and Technology Fund (WWTF)

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Computational Theory and Mathematics,Software

Link

http://link.springer.com/content/pdf/10.1007/s10817-016-9364-6.pdf

Reference59 articles.

1. Andrews, P.B.: Resolution with merging. J. ACM 15(3), 367–381 (1968)

2. Bacchus, F.: Enhancing davis putnam with extended binary clause reasoning. In: Eighteenth National Conference on Artificial Intelligence, pp. 613–619. American Association for Artificial Intelligence, Menlo Park (2002)

3. Bar-Ilan, O., Fuhrmann, O., Hoory, S., Shacham, O., Strichman, O.: Linear-time reductions of resolution proofs. Technical Report IE/IS-2008-02, Technion (2008)

4. Beame, P., Kautz, H., Sabharwal, A.: Towards understanding and harnessing the potential of clause learning. J. Artif. Intell. Res. 22(1), 319–351 (2004)

5. Biere, A.: PicoSAT essentials. JSAT 4(2–4), 75–97 (2008)

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

1. Flexible Sensor Array and Newton Interpolation Algorithm for Molded Dichromatic Sole by Operating Robot;Communications in Computer and Information Science;2024

2. Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing;Computer Aided Verification;2020

3. LRA Interpolants from No Man’s Land;Hardware and Software: Verification and Testing;2017