Mavroskoufis, Michael
Funktion:
Gast
Raum:
3358
Bereich:
Abteilung:
Arbeitsgruppe:
Mail:
mavroskoufis
zib.de
zib.deTelefon:
+49 30 841 85 - 336
Fax:
+49 30 841 85 - 311
Publikationen
2023
2023 |
|||
| Benjamin Kaiser, Robert Clausecker, Michael Mavroskoufis | 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 |
BibTeX
|