Algorithms and Programming Languages (APL)

Learn to Relax: Integrating 0-1 Integer Linear Programming with Pseudo-Boolean Conflict-Driven Search
Devriendt, J., Gleixner, A. & Nordström, J., 2021, In: Constraints. 26, p. 26–55 30 p.
Research output: Contribution to journal › Journal article › Research › peer-review

20 Citations (Scopus)
A Cardinal Improvement to Pseudo-Boolean Solving
Elffers, J. & Nordström, J., 1 Feb 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI '20). AAAI Press, p. 1495-1503 9 p.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Approximating Edit Distance Within Constant Factor in Truly Sub-quadratic Time
Chakraborty, D., Das, D., Goldenberg, E., Koucký, M. & Saks, M., 2020, In: Journal of the ACM. 67, 6, 22 p., 36.
Research output: Contribution to journal › Journal article › Research › peer-review

File

28 Citations (Scopus)

21 Downloads (Pure)

CENTRE@CLEF 2019
Maistro, M. (Organizer)
9 Sept 2019 → 12 Sept 2019
Activity: Participating in an event - types › Organisation of and participation in conference
CENTRE@NTCIR 2019
Maistro, M. (Organizer)
10 Jun 2019 → 13 Dec 2019
Activity: Participating in an event - types › Organisation of and participation in conference
CENTRE@CLEF 2018
Maistro, M. (Organizer)
10 Sept 2018 → 14 Sept 2018
Activity: Participating in an event - types › Organisation of and participation in conference

Research output