Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Zhang, Hantao"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Model building with ordered resolution: Extracting models from saturated clause sets
Peter Baumgartner
,
Hantao Zhang
Journal Symbolic Computation
36
(1-2), 2003, pp. 5-48
PSATO: A distributed propositional prover and its application to quasigroup problems
Hantao Zhang
,
Maria Paola Bonacina
,
Jieh Hsiang
Journal Symbolic Computation
21
(4), 1996, pp. 543-560
Constraint propagation in model generation
Jian Zhang
,
Hantao Zhang
Lecture Notes in Computer Science
976
, 1995, pp. 398-414
Cumulating search in a distributed computing environment: A case study in parallel satisfiability
Hantao Zhang
,
Maria Paola Bonacina
Lecture Note Series in Computing
5
, 1994, pp. 422-431
A new method for the Boolean ring based theorem proving
Hantao Zhang
Journal Symbolic Computation
17
(2), 1994, pp. 189-211
Sufficient-completeness, ground-reducibility and their complexity
Deepak Kapur
,
Paliat Narendran
,
Daniel J. Rosenkrantz
,
Hantao Zhang
Acta Informatica
28
, 1991, pp. 311-350
Automating inductionless induction using test sets
Deepak Kapur
,
Paliath Narendran
,
Hantao Zhang
Journal Symbolic Computation
11
(1-2), 1991, pp. 83-111
A new method for proving termination of AC-rewrite systems
Deepak Kapur
,
G. Sivakumar
,
Hantao Zhang
Lecture Notes in Computer Science
472
, 1990, pp. 133-148
Unnecessary inferences in associative-commutative completion procedures
Hantao Zhang
,
Deepak Kapur
Math. Systems Theory
23
, 1990, pp. 175-206
Automated proof of ring commutativity problems by algebraic methods
Hantao Zhang
Journal Symbolic Computation
9
(4), 1990, pp. 423-427