Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver | springerprofessional.de

Springer Professional

nach oben

Journal of Automated Reasoning

Erschienen in:

Open Access 01.10.2015

Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver

verfasst von: Adam Naumowicz

Erschienen in: Journal of Automated Reasoning | Ausgabe 3/2015

Vorheriger Artikel Evidence Algorithm and Inference Search in First-Order Logics

Nächster Artikel Improving Legibility of Formal Proofs Based on the Close Reference Principle is NP-Hard

Titel: Automating Boolean Set Operations in Mizar Proof Checking with the Aid of an External SAT Solver
verfasst von: Adam Naumowicz
Publikationsdatum: 01.10.2015
Verlag: Springer Netherlands
Erschienen in: Journal of Automated Reasoning / Ausgabe 3/2015
Print ISSN: 0168-7433
Elektronische ISSN: 1573-0670
DOI: https://doi.org/10.1007/s10817-015-9332-6

Weitere Formate
Fachgebiete
Bücher
Zeitschriften
Themenseiten
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024