Speeding up model checking by hash table size sweep

Juhan Ernits

Institute of Cybernetics

Thursday, 1 Dec. 2005, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101