The Succinct Solver Suite.

Flemming Nielson Hanne Riis Nielson Hongyan Sun Mikael Buchholtz René Rydhof Hansen Henrik Pilegaard Helmut Seidl

Published in: TACAS (2004)

Keyphrases

learning algorithm
decision trees
learning environment
mobile robot
orders of magnitude
clause learning
sat solving