Paper Info
Title
A Clausal Normal Form Translation for FOOL.
Year
Venue
DocType
2016
GCAI
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
4
Name
Order
Citations
PageRank
Evgenii Kotelnikov1112.61
Laura Kovács249436.97
Martin Suda38812.43
Andrei Voronkov42670225.46