Kontakt

Room
3358
Email

Publications

2023
Prioritised Unit Propagation by Partitioning the Watch Lists Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), pp. 14-34, Vol.3545, 2023 Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis BibTeX
Mavroskoufis, Michael