Jorke M. de Vlas

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, Johanna Groven, Peter Jonsson, Victor Lagerkvist

doi:10.24963/ijcai.2026/248

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings