Jiri Vyskocil

1 papers · 2015–2015 · 1 conference · across top CS/AI conferences

Conferences

IJCAI (1)

Top co-authors

Josef Urban (1) Cezary Kaliszyk (1)

Papers

Efficient Semantic Features for Automated Reasoning over Large Theories IJCAI 2015