| Bibtype | Inproceedings |
|---|---|
| Bibkey | Mladenov/etal/2017b |
| Author | Mladenov, Martin and Belle, Vaishak and Kersting, Kristian |
| Ls8autor |
Mladenov, Martin
|
| Editor | Satinder Singh and Shaul Markovitch |
| Title | The Symbolic Interior Point Method |
| Booktitle | Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI) |
| Publisher | AAAI Press |
| Year | 2017 |
| Projekt | SFB876-B4 |