Proceedings

Josef Urban

1 paper in the IJCAI proceedings

IJCAI 2015

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