Searching for authors named "Jieh Hsiang" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover
- … 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
- …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
- … 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
- …The Cyclic Complete Mappings Counting Problems Jieh Hsiang # , YuhPyng Shieh and YaoChiang Chen…
- Cited by 1 (0 self) – Add To MetaCart
-
Boolean Ring Satisfiability
- …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
- … 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
- …Series Logo Volume 00, 19xx Some Fundamental Properties of Boolean Ring Normal Forms Jieh Hsiang…
- Cited by 5 (3 self) – Add To MetaCart
-
Towards
- … 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
- … 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
- … Application to Quasigroup Problems HANTAO ZHANG + , MARIA PAOLA BONACINA # AND JIEH HSIANG # Dept…
- Cited by 38 (4 self) – Add To MetaCart
Showing 1 through 10.
