Crossmark

General Clauses for SAT-Based Proof Search in Intuitionistic Propositional Logic

Published Online: 2024-06-16

Published Print: 2024-09

Authors

Fiorentini, Camillo

Ferrari, Mauro
License Information

Text and Data Mining valid from 2024-06-16

Version of Record valid from 2024-06-16
More Information

Article History

Received: 9 June 2023

Accepted: 21 May 2024

First Online: 16 June 2024

Declarations

:

: The authors declare no competing interests.

Document is current