Biasing symbolic search by means of dynamic activity profiles.

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

Browse the full DATE paper archive.