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...
Expert systems with applications, 2022-11, Vol.206, p.117841, Article 117841
2022
Link zum Volltext

Journal of scheduling, 2021-02, Vol.24 (1), p.35-48
2021
Link zum Volltext


Journal of scheduling, 2022-08, Vol.25 (4), p.371-390
2022
Link zum Volltext

Open Access
Towards efficient MUS extraction
Ai communications, 2012, Vol.25 (2), p.97-116
2012
Link zum Volltext


Algorithms for molecular biology, 2019-03, Vol.14 (1), p.9-9, Article 9
2019
Link zum Volltext

Ai communications, 2015, Vol.28 (2), p.161-177
2015
Link zum Volltext

An overview of parallel SAT solving
Constraints : an international journal, 2012-07, Vol.17 (3), p.304-347
2012
Link zum Volltext

Expert systems with applications, 2014-10, Vol.41 (14), p.6161-6173
2014
Link zum Volltext

Integration of Constraint Programming, Artificial Intelligence, and Operations Research, p.317-333
Link zum Volltext

Operations Research Perspectives, 2019, Vol.6, p.1-13, Article 100092
2019
Link zum Volltext

Annals of mathematics and artificial intelligence, 2011-07, Vol.62 (3-4), p.317-343
2011
Link zum Volltext

Artificial intelligence, 2014-11, Vol.216, p.309-326
2014
Link zum Volltext

2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.112-124
2021




2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020, p.175-186
2020
Link zum Volltext

Journal of experimental & theoretical artificial intelligence, 2015-09, Vol.27 (5), p.673-701
2015
Link zum Volltext

Theory and Applications of Satisfiability Testing – SAT 2017, p.195-211
Link zum Volltext

Principles and Practice of Constraint Programming, p.531-548
Link zum Volltext

The Journal of artificial intelligence research, 2024-01, Vol.79, p.1047-1090
2024
Link zum Volltext


Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n