![[ICO]](/apache-icons/blank.gif){kind=icon}
![[PARENTDIR]](/apache-icons/back.gif){kind=icon}
![[ ]](/apache-icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| kbj.ijcai19.pdf | 2020-01-18 04:17 | 266K | |
| kj.aaai20.pdf | 2020-01-18 04:17 | 329K | |
| algo22.pdf | 2022-05-10 09:51 | 598K | |
| kbsj.sat17.pdf | 2020-01-18 04:17 | 636K | |
| kbj.jea19.pdf | 2020-01-18 04:17 | 744K | |
| kj.cp21.pdf | 2021-08-16 12:41 | 805K | |
| msc-thesis.pdf | 2020-06-16 21:07 | 1.5M | |
| phd-thesis.pdf | 2024-05-16 10:04 | 2.4M | |