https://tuukkakorhonen.com/ https://tuukkakorhonen.com/papers/ https://tuukkakorhonen.com/papers/kj.aaai20.pdf https://tuukkakorhonen.com/papers/kbj.ijcai19.pdf https://tuukkakorhonen.com/papers/kbj.jea19.pdf https://tuukkakorhonen.com/papers/kbsj.sat17.pdf https://tuukkakorhonen.com/papers/msc-thesis.pdf