# 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 ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.