Theorem proving through depth-first test
Acta Universitatis Carolinae. Mathematica et Physica (1992)
- Volume: 033, Issue: 2, page 135-141
- ISSN: 0001-7140
Access Full Article
top
How to cite
topTuza, 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 ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.