Jirí Vyskocil

Czech Technical University in Prague

1 paper in the IJCAI proceedings

IJCAI 2015

Efficient Semantic Features for Automated Reasoning over Large Theories

with Cezary Kaliszyk, Josef Urban

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings