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(1), 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.
