Theorem proving through depth-first test

Zsolt Tuza

Acta Universitatis Carolinae. Mathematica et Physica (1992)

  • Volume: 033, Issue: 2, page 135-141
  • ISSN: 0001-7140

How to cite

top

Tuza, Zsolt. "Theorem proving through depth-first test." Acta Universitatis Carolinae. Mathematica et Physica 033.2 (1992): 135-141. <http://eudml.org/doc/196794>.

@article{Tuza1992,
author = {Tuza, Zsolt},
journal = {Acta Universitatis Carolinae. Mathematica et Physica},
keywords = {theorem proving; depth-first test; satisfiability; graph coloring; depth- first search},
language = {eng},
number = {2},
pages = {135-141},
publisher = {Charles University in Prague},
title = {Theorem proving through depth-first test},
url = {http://eudml.org/doc/196794},
volume = {033},
year = {1992},
}

TY - JOUR
AU - Tuza, Zsolt
TI - Theorem proving through depth-first test
JO - Acta Universitatis Carolinae. Mathematica et Physica
PY - 1992
PB - Charles University in Prague
VL - 033
IS - 2
SP - 135
EP - 141
LA - eng
KW - theorem proving; depth-first test; satisfiability; graph coloring; depth- first search
UR - http://eudml.org/doc/196794
ER -

NotesEmbed ?

top

You must be logged in to post comments.