Ivor Spence

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 Ivor Spence: tts: A SAT-Solver for Small, Difficult Instances. JSAT 4(2-4): 173-190 (2008)