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 × China
1 × Estonia
1 × France
1 × Italy
1 × USA
Collaborated with:
C.Ge F.Ma T.Liu X.Ma P.H.0002 H.Zhang
Talks about:
model (4) generat (2) search (2) finit (2) counterexampl (1) probabilist (1) quasigroup (1) conjectur (1) algorithm (1) symmetri (1)

Person: Jian Zhang 0001

DBLP DBLP: 0001:Jian_Zhang

Contributed to:

CADE 20052005
SAC 20012001
CADE 19991999
TOOLS Asia 19971997
CADE 19941994
IJCAR 20182018

Wrote 7 papers:

Computer Search for Counterexamples to Wilkie’s Identity (JZ0), pp. 441–451.
SAC-2001-Zhang #automation #satisfiability #symmetry
Automatic symmetry breaking method combined with SAT (JZ0), pp. 17–21.
CADE-1999-ZhangJ #modelling
System Description: MCS: Model-based Conjecture Searching (JZ0), pp. 393–397.
TOOLS-ASIA-1997-Zhang #development #finite #generative #specification
Finite Model Generation and Formal Specification Development (JZ0), pp. 350–355.
CADE-1994-Zhang #finite #generative #modelling #problem
Problems on the Generation of Finite Models (JZ0), pp. 753–757.
IJCAR-2018-GeMLZM #algorithm #approximate #probability
A New Probabilistic Algorithm for Approximate Model Counting (CG, FM, TL, JZ0, XM), pp. 312–328.
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.