Proceedings

Jirí Vyskocil

1 paper in the IJCAI proceedings

IJCAI 2015

Efficient Semantic Features for Automated Reasoning over Large Theories
with Cezary Kaliszyk, Josef Urban
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards