Programming Systems Lab: Publications by A.J. Parkes

Saarland University Computer Science

Select author:

1996

Tuning local search for satisfiability testing   (pdf)
A.J. Parkes, Joachim Paul Walser
Proceedings of the thirteenth national conference on artificial intelligence (AAAI '96)


Login to edit


Legal notice, Privacy policy