Travelled to:
1 × Australia
1 × France
1 × Germany
1 × Italy
1 × Switzerland
2 × Canada
6 × USA
Collaborated with:
D.Kapur ∅ X.Hua J.J.Lu S.Siva J.Zhang M.E.Stickel J.Remy D.Li H.Shen M.S.Krishnamoorthy P.Narendran G.Sivakumar O.Parekh G.H.L.Fletcher P.H.0002 F.Ma C.Ge J.Z.0001
Talks about:
rewrit (7) rrl (5) induct (4) rule (4) laboratori (3) schedul (3) complet (3) system (3) studi (3) set (3)
Person: Hantao Zhang
DBLP: Zhang:Hantao
Contributed to:
Wrote 21 papers:
- SAC-2010-LuSPFZ #constraints #database #implementation #relational
- Constraint processing in relational database systems: from theory to implementation (JJL, SS, OP, GHLF, HZ), pp. 2066–2070.
- ICLP-2008-SivaLZ #case study #constraints #database #sql
- A Case Study in Engineering SQL Constraint Database Systems (SS, JJL, HZ), pp. 774–778.
- SAT-2006-Zhang #random
- A Complete Random Jump Strategy with Guiding Paths (HZ), pp. 96–101.
- SAT-2004-ZhangLS #satisfiability
- A SAT Based Scheduler for Tournament Schedules (HZ, DL, HS), pp. 191–196.
- SAT-2002-Zhang #generative #satisfiability
- Generating college conference basketball schedules by a SAT solver (HZ), p. 39.
- CADE-1997-Zhang #named #performance #proving
- SATO: An Efficient Propositional Prover (HZ), pp. 272–275.
- CADE-1996-ZhangZ #generative #modelling
- System Description: Generating Models by SEM (JZ, HZ), pp. 308–312.
- RTA-1995-StickelZ #problem
- Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results (MES, HZ), pp. 450–456.
- RTA-1993-Zhang #case study
- A Case Study of Completion Modulo Distributivity and Abelian Groups (HZ), pp. 32–46.
- CADE-1992-HuaZ #induction #named
- FRI: Failure-Resistant Induction in RRL (XH, HZ), pp. 691–695.
- CADE-1992-Zhang #named #performance
- Herky: High Performance Rewriting in RRL (HZ), pp. 696–700.
- CADE-1992-ZhangH #induction #proving #set #theorem
- Proving the Chinese Remainder Theorem by the Cover Set Induction (HZ, XH), pp. 431–445.
- RTA-1989-KapurZ #overview
- An Overview of Rewrite Rule Laboratory (RRL) (DK, HZ), pp. 559–563.
- RTA-1989-ZhangK
- Consider Only General Superpositions in Completion Procedures (HZ, DK), pp. 513–527.
- CADE-1988-KapurZ #named
- RRL: A Rewrite Rule Laboratory (DK, HZ), pp. 768–769.
- CADE-1988-ZhangK #first-order #proving #theorem proving #using
- First-Order Theorem Proving Using Conditional Rewrite Rules (HZ, DK), pp. 1–20.
- CADE-1988-ZhangKK #equation #induction #specification
- A Mechanizable Induction Principle for Equational Specifications (HZ, DK, MSK), pp. 162–181.
- CADE-1986-KapurNZ #induction #proving #testing #using
- Proof by Induction Using Test Sets (DK, PN, HZ), pp. 99–117.
- CADE-1986-KapurSZ #named
- RRL: A Rewrite Rule Laboratory (DK, GS, HZ), pp. 691–692.
- RTA-1985-ZhangR
- Contextual Rewriting (HZ, JLR), pp. 46–62.
- IJCAR-2018-HuangMGZZ #satisfiability #scalability #testing
- Investigating the Existence of Large Sets of Idempotent Quasigroups via Satisfiability Testing (PH0, FM, CG, JZ0, HZ), pp. 354–369.