Travelled to:1 × Ireland
1 × USA
Collaborated with:H.d.Nivelle L.C.Paulson
Talks about:resolut (2) proof (2) procedur (1) interact (1) support (1) geometr (1) search (1) experi (1) model (1) finit (1)
Person: Jia Meng
DBLP: Meng:Jia
Contributed to:
20062004Wrote 2 papers:
- IJCAR-2006-NivelleM #finite #geometry #proving
- Geometric Resolution: A Proof Procedure Based on Finite Model Search (HdN, JM), pp. 303–317.
- IJCAR-2004-MengP #interactive #proving #using
- Experiments on Supporting Interactive Proof Using Resolution (JM, LCP), pp. 372–384.