A Comprehensive Framework for Saturation Theorem Proving

Waldmann, Uwe; Tourret, Sophie; Robillard, Simon; Blanchette, Jasmin

doi:10.1007/978-3-030-51074-9_18

Local TagsRelease HistoryDetailsSummary

A Comprehensive Framework for Saturation Theorem Proving

Waldmann, U., Tourret, S., Robillard, S., & Blanchette, J. (2020). A Comprehensive Framework for Saturation Theorem Proving. In N. Peltier, & V. Sofronie-Stokkermans (Eds.), Automated Reasoning (pp. 316-334). Berlin: Springer. doi:10.1007/978-3-030-51074-9_18.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0007-7971-2 Version Permalink: https://hdl.handle.net/21.11116/0000-000E-343A-7

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Waldmann, Uwe¹, Author
Tourret, Sophie¹, Author
Robillard, Simon², Author
Blanchette, Jasmin¹, Author

Affiliations:
1Automation of Logic, MPI for Informatics, Max Planck Society, ou_1116545
2External Organizations, ou_persistent22

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2020Date issued: 2020

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: DOI: 10.1007/978-3-030-51074-9_18
BibTex Citekey: Waldmann_IJCAR2020

Degree: -

Event

show

hide

Title: 10th International Joint Conference on Automated Reasoning

Place of Event: Paris, France (Virtual Conference)

Start-/End Date: 2020-07-01 - 2020-07-04

Legal Case

show

Project information

show

Source 1

show

hide

Title: Automated Reasoning

Subtitle : 10th International Joint Conference, IJCAR 2020 ; Paris, France, July 1–4, 2020 ; Proceedings, Part I

Abbreviation : IJCAR 2020

Source Genre: Proceedings

Creator(s):
Peltier, Nicolas¹, Editor
Sofronie-Stokkermans, Viorica¹, Editor

Affiliations:
1 External Organizations, ou_persistent22

Publ. Info: Berlin : Springer

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 316 - 334 Identifier: ISBN: 978-3-030-51073-2

Source 2

show

hide

Title: Lecture Notes in Artificial Intelligence

Abbreviation : LNAI

Source Genre: Series

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 12166 Sequence Number: - Start / End Page: - Identifier: -