Searching for OpenAIRE data...
Publications
Author(s): Schreiber, Dominik
Published in: Journal of Artificial Intelligence Research, 70, 2021, Page(s) 1117–1181, ISSN 1076-9757
Publisher: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12520
Author(s): Williams, Marvin; Sanders, Peter; Dementiev, Roman
Published in: 29th Annual European Symposium on Algorithms (ESA 2021), 81, 2021, Page(s) 1-17, ISBN 978-3-95977-204-4
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH (LZI)
DOI: 10.4230/lipics.esa.2021.81
Author(s): Schreiber, Dominik; Sanders, Peter
Published in: Theory and Applications of Satisfiability Testing – SAT 2021, 24, 2021, Page(s) 518-534, ISBN 978-3-030-80223-3
Publisher: Springer
DOI: 10.1007/978-3-030-80223-3_35
Author(s): Gottesbüren, Lars; Heuer, Tobias; Sanders, Peter; Schulz, Christian; Seemaier, Daniel
Published in: 29th Annual European Symposium on Algorithms (ESA 2021), 48, 2021, Page(s) 1-17, ISBN 978-3-95977-204-4
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH (LZI)
DOI: 10.5445/ir/1000138388