Hana Rudová Soft Scheduling http://arxiv.org/abs/cs.AI/0106004 2001 CoRR cs.AI/0106004 db/journals/corr/corr0106.html#cs-AI-0106004 informal publication