Dusan Guller. A DPLL Procedure for the Propositional Gödel Logic. In Joaquim Filipe, Janusz Kacprzyk, editors, ICFC-ICNC 2010 - Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation, [parts of the International Joint Conference on Computational Intelligence IJCCI 2010], Valencia, Spain, October 24-26, 2. pages 31-42, SciTePress, 2010.
@inproceedings{Guller10,
title = {A DPLL Procedure for the Propositional Gödel Logic},
author = {Dusan Guller},
year = {2010},
tags = {logic},
researchr = {https://researchr.org/publication/Guller10},
cites = {0},
citedby = {0},
pages = {31-42},
booktitle = {ICFC-ICNC 2010 - Proceedings of the International Conference on Fuzzy Computation and International Conference on Neural Computation, [parts of the International Joint Conference on Computational Intelligence IJCCI 2010], Valencia, Spain, October 24-26, 2},
editor = {Joaquim Filipe and Janusz Kacprzyk},
publisher = {SciTePress},
isbn = {978-989-8425-32-4},
}