Travelled to:1 × Canada
1 × Germany
2 × United Kingdom
Collaborated with:C.Weidenbach P.Wischnewski G.Reger A.Voronkov D.Dimova A.Fietzke R.Kumar
Talks about:superposit (1) version (1) partial (1) guidanc (1) prover (1) avatar (1) spass (1) satur (1) model (1) label (1)
Person: Martin Suda
DBLP: Suda:Martin
Contributed to:
2015
201220102009Wrote 4 papers:
- CADE-2015-RegerSV #game studies
- Playing with AVATAR (GR, MS, AV), pp. 399–415.
- IJCAR-2012-SudaW
- A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance (MS, CW), pp. 537–543.
- IJCAR-2010-SudaWW #on the
- On the Saturation of YAGO (MS, CW, PW), pp. 441–456.
- CADE-2009-WeidenbachDFKSW
- SPASS Version 3.5 (CW, DD, AF, RK, MS, PW), pp. 140–145.