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
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.
