GCAI 2016. 2nd Global Conference on Artificial Intelligence

Book title Buchtitel

Publisher Herausgeber

EasyChair

Place of publishing Erscheinungsort

EPiC Series in Computing / 41 / Berlin

Results 1-3 of 3 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

	Author(s)	Title	Type	Issue Date
1	Kotelnikov, Evgenii ; Kovacs, Laura ; Suda, Martin ; Voronkov, Andrei	A Clausal Normal Form Translation for FOOL	Konferenzbeitrag Inproceedings	2016
2	Reger, Giles ; Bjørner, Nikolaj ; Suda, Martin ; Voronkov, Andrei	AVATAR Modulo Theories	Konferenzbeitrag Inproceedings	2016
3	Reger, Giles ; Suda, Martin ; Voronkov, Andrei	New Techniques in Clausal Form Generation	Konferenzbeitrag Inproceedings	2016