Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Discrete mathematics and theoretical computer science, 2015-09, Vol.17 no.2 (Discrete Algorithms), p.77-100
2015
Link zum Volltext

Artificial intelligence, 2018-04, Vol.257, p.61-71
2018
Link zum Volltext






ACM transactions on computational logic, 2016-03, Vol.17 (2), p.1-35
2016
Link zum Volltext

Open Access
New width parameters for SAT and #SAT
Artificial intelligence, 2021-06, Vol.295, p.103460, Article 103460
2021
Link zum Volltext

Open Access
FO Model Checking of Interval Graphs
Logical methods in computer science, 2015-12, Vol.11, Issue 4
2015
Link zum Volltext

Algorithmica, 2021, Vol.83 (2), p.726-752
2021
Link zum Volltext

Artificial intelligence, 2022-03, Vol.304, p.103648, Article 103648
2022
Link zum Volltext

Graph-Theoretic Concepts in Computer Science, 2022, Vol.13453, p.98-113
2022
Link zum Volltext

Artificial intelligence, 2023-02, Vol.315, p.103826, Article 103826
2023
Link zum Volltext

SIAM journal on discrete mathematics, 2022-12, Vol.36 (4), p.2635-2666
2022
Link zum Volltext

Journal of computer and system sciences, 2023-06, Vol.134, p.1-19
2023
Link zum Volltext

Journal of computer and system sciences, 2020-06, Vol.110, p.1-21
2020
Link zum Volltext

Discrete Applied Mathematics, 2018-09, Vol.246, p.38-48
2018
Link zum Volltext

The Journal of artificial intelligence research, 2022-01, Vol.74, p.1687-1713
2022
Link zum Volltext

Discrete Applied Mathematics, 2018-10, Vol.248, p.153-167
2018
Link zum Volltext

Journal of computer and system sciences, 2021-11, Vol.121, p.57-75
2021
Link zum Volltext

Artificial intelligence, 2023-12, Vol.325, p.104017, Article 104017
2023
Link zum Volltext

Journal of computer and system sciences, 2018-11, Vol.97, p.121-146
2018
Link zum Volltext

Algorithmica, 2018, Vol.80 (2), p.742-771
2018
Link zum Volltext

Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt