Johanna Groven

Department of Computer and Information Science (IDA) , Linköping University

1 paper in the IJCAI proceedings

IJCAI 2026

Maximum Satisfiability of Simple Temporal Problems

with Johannes K. Fichte, Peter Jonsson, Victor Lagerkvist, Jorke M. de Vlas

doi:10.24963/ijcai.2026/248

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings