Performance of the Compiler-Based Andorra-I System.

Rong Yang, Tony Beaumont, Ins de Castro Dutra, Vtor Santos Costa, David H. D. Warren

Browse the full ICLP paper archive.