20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion".

Published in: J. Exp. Theor. Artif. Intell. (2015)

Keyphrases