Programming Systems Lab: Publications by Philipp Hanschke

Saarland University Computer Science

Select author:

1993

Satisfiability of the smallest binary program   (pdf)
Philipp Hanschke, Jörg Würtz
Information Processing Letters


Login to edit


Legal notice, Privacy policy