The paper proposes new strategies to decide intuitionistic propositional formulas; at the moment the implementation is the best on ILTP library

Avellone, A., Fiorino, G., Moscato, U. (2008). Optimization techniques for intuitionistic propositional logic and their implementation. THEORETICAL COMPUTER SCIENCE, 409, 41-58 [10.1016/j.tcs.2008.08.013].

Optimization techniques for intuitionistic propositional logic and their implementation

AVELLONE, ALESSANDRO;FIORINO, GUIDO GIUSEPPE;MOSCATO, UGO EMANUELE
2008

Abstract

The paper proposes new strategies to decide intuitionistic propositional formulas; at the moment the implementation is the best on ILTP library
Articolo in rivista - Articolo scientifico
intuitionistic logic, ATP, ILTP
English
2008
409
41
58
open
Avellone, A., Fiorino, G., Moscato, U. (2008). Optimization techniques for intuitionistic propositional logic and their implementation. THEORETICAL COMPUTER SCIENCE, 409, 41-58 [10.1016/j.tcs.2008.08.013].
File in questo prodotto:
File Dimensione Formato  
optimization_techniques_propositional_intuitionistic_logic.pdf

accesso aperto

Tipologia di allegato: Other attachments
Dimensione 362.61 kB
Formato Adobe PDF
362.61 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/310
Citazioni
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 4
Social impact