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: 0001:Jian_Zhang
Contributed to:
2005
20011999
19971994
2018Wrote 7 papers:
- CADE-2005-Zhang
- 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.