Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/sLogica/GutierrezGMOV02
%A Gutiérrez, Gloria
%A de Guzmán, Inman P.
%A Martínez, Javier
%A Ojeda-Aciego, Manuel
%A Valverde, Agustín
%D 2002
%J Stud Logica
%K dblp
%N 1
%P 85-112
%T Satisfiability Testing for Boolean Formulas Using Delta-trees.
%U http://dblp.uni-trier.de/db/journals/sLogica/sLogica72.html#GutierrezGMOV02
%V 72
@article{journals/sLogica/GutierrezGMOV02,
added-at = {2023-08-29T00:00:00.000+0200},
author = {Gutiérrez, Gloria and de Guzmán, Inman P. and Martínez, Javier and Ojeda-Aciego, Manuel and Valverde, Agustín},
biburl = {https://www.bibsonomy.org/bibtex/298d5ccc8538ce81caa311ee4ba764245/dblp},
ee = {https://doi.org/10.1023/A:1020530109551},
interhash = {8132c2b4c57f9906105eacbb78f732a7},
intrahash = {98d5ccc8538ce81caa311ee4ba764245},
journal = {Stud Logica},
keywords = {dblp},
number = 1,
pages = {85-112},
timestamp = {2024-04-08T20:31:20.000+0200},
title = {Satisfiability Testing for Boolean Formulas Using Delta-trees.},
url = {http://dblp.uni-trier.de/db/journals/sLogica/sLogica72.html#GutierrezGMOV02},
volume = 72,
year = 2002
}