MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Jieh Hsiang – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover
by Maria Paola, Bonacina, Jieh Hsiang — 1994
… Contraction and the Aquarius Prover MARIA PAOLA BONACINA †† AND JIEH HSIANG ‡‡ † Department of Computer…
Add To MetaCart

Rewrite Methods for Clausal and Nonclausal Theorem Proving
by Jieh Hsiang, Nachum Dershowitz — 1983 — in Proceedings of the Tenth International Conference on Automata, Languages and Programming
…Rewrite Methods for Clausal and Non-Clausal Theorem Proving Jieh Hsiang Department of Computer…
Cited by 18 (8 self) – Add To MetaCart

Solving Open Quasigroup Problems by Propositional Reasoning
by Hantao Zhang, Jieh Hsiang — 1994 — In Proceedings of the International Computer Symp
… Science The University of Iowa Iowa City, IA 52242 hzhang@(email omitted); Jieh Hsiang y Department…
Cited by 13 (1 self) – Add To MetaCart

The Cyclic Complete Mappings Counting Problems
by Jieh Hsiang, Yuhpyng Shieh, Yaochiang Chen — 2002 — In PaPS: Problems and Problem Sets for ATP Workshop in conjunction with CADE-18 and FLoC 2002
…The Cyclic Complete Mappings Counting Problems Jieh Hsiang # , YuhPyng Shieh and YaoChiang Chen…
Cited by 1 (0 self) – Add To MetaCart

Boolean Ring Satisfiability
by Nachum Dershowitz, Jieh Hsiang, Guan-shieng Huang, Daher Kaiss — 2004 — in International Conference on Theory and Applications of Satisfiability Testing (SAT 2004
…Boolean Ring Satisfiability Nachum Dershowitz 1,⋆ , Jieh Hsiang 2 , Guan-Shieng Huang 3…
Cited by 1 (0 self) – Add To MetaCart

The Clause-Diffusion methodology for distributed deduction
by Maria Paola Bonacina, Jieh Hsiang — 1993
… of Computer Science University of Iowa Iowa City, IA 52242-1419, USA bonacina@(email omitted); Jieh Hsiang…
Cited by 9 (5 self) – Add To MetaCart

Some Fundamental Properties of Boolean Ring Normal Forms
by Jieh Hsiang, Guan Shieng Huang — 1997 — DIMACS Series in Discrete Mathematics and Theoretical Computer Science 35
…Series Logo Volume 00, 19xx Some Fundamental Properties of Boolean Ring Normal Forms Jieh Hsiang…
Cited by 5 (3 self) – Add To MetaCart

Towards
by Maria Paola Bonacina, Jieh Hsiang
… Department of Computer Science University of Iowa Iowa City, IA 52242-1419, USA Jieh Hsiang Department…
Add To MetaCart

Towards a foundation of completion procedures as semidecision procedures
by Maria Paola Bonacina, Jieh Hsiang
… Department of Computer Science University of Iowa Iowa City, IA 52242-1419, USA Jieh Hsiang Department…
Cited by 12 (5 self) – Add To MetaCart

PSATO: a Distributed Propositional Prover and Its Application to Quasigroup Problems
by Hantao Zhang, Maria Paola Bonacina, Maria Paola, Bonacina, Jieh Hsiang — 1996 — Journal of Symbolic Computation
… Application to Quasigroup Problems HANTAO ZHANG + , MARIA PAOLA BONACINA # AND JIEH HSIANG # Dept…
Cited by 36 (4 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB