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...
Journal of Computer Virology and Hacking Techniques, 2019-03, Vol.15 (1), p.15-28
2019
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2009, p.495-508
Volltextzugriff (PDF)

Constraints : an international journal, 2013-10, Vol.18 (4), p.478-534
2013
Volltextzugriff (PDF)


Journal of network and computer applications, 2020-03, Vol.153, p.102526, Article 102526
2020
Volltextzugriff (PDF)

International journal of approximate reasoning, 2017-06, Vol.85, p.21-35
2017
Volltextzugriff (PDF)

International journal of computational intelligence systems, 2022-10, Vol.15 (1), p.1-12, Article 86
2022
Volltextzugriff (PDF)

Computers & security, 2020-08, Vol.95, p.101873-16, Article 101873
2020
Volltextzugriff (PDF)

Expert systems with applications, 2022-11, Vol.207, p.117957, Article 117957
2022
Volltextzugriff (PDF)

Computers & security, 2022-02, Vol.113, p.102543, Article 102543
2022
Volltextzugriff (PDF)

Computers & security, 2021-03, Vol.102, p.102159-32, Article 102159
2021
Volltextzugriff (PDF)



2008 Design, Automation and Test in Europe, 2008, p.408-413
2008
Volltextzugriff (PDF)

The Journal of supercomputing, 2017, Vol.73 (1), p.354-369
2017
Volltextzugriff (PDF)

Open Access
New Inference Rules for Max-SAT
The Journal of artificial intelligence research, 2007-01, Vol.30, p.321-359
2007
Volltextzugriff (PDF)

Maximal falsifiability
Ai communications, 2016-01, Vol.29 (2), p.351
2016
Volltextzugriff (PDF)



Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I, 2023, Vol.13993 (part 1), p.167-186
2023
Volltextzugriff (PDF)

Annals of mathematics and artificial intelligence, 2016-06, Vol.77 (1-2), p.43-66
2016
Volltextzugriff (PDF)

Constraints : an international journal, 2010-10, Vol.15 (4), p.456-484
2010
Volltextzugriff (PDF)

Lecture notes in computer science, 2005, p.403-414
1ère éd, 2005
Volltextzugriff (PDF)


Journal of global optimization, 2008-05, Vol.41 (1), p.61-73
2008
Volltextzugriff (PDF)
Aktive Filter
SpracheEnglisch
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n