BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Zhang:Hantao

Contributed to:

SAC 20102010
ICLP 20082008
SAT 20062006
SAT 20042004
SAT 20022002
CADE 19971997
CADE 19961996
RTA 19951995
RTA 19931993
CADE 19921992
RTA 19891989
CADE 19881988
CADE 19861986
RTA 19851985
IJCAR 20182018

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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.