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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Nature physics, 2018-08, Vol.14 (8), p.861-865
2018
Volltextzugriff (PDF)


An Extensible SAT-solver
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, Vol.2919, p.502-518
2004
Volltextzugriff (PDF)

Journal of economic dynamics & control, 2013-08, Vol.37 (8), p.1683-1691
2013
Volltextzugriff (PDF)

The Journal of artificial intelligence research, 2006-01, Vol.26, p.371-416
2006
Volltextzugriff (PDF)





Lecture notes in computer science, 2004, Vol.2919, p.188-202
2004
Volltextzugriff (PDF)

Lecture notes in computer science, 2004, Vol.2919, p.341-355
2004
Volltextzugriff (PDF)

Intelligenza artificiale, 2022-07, Vol.16 (1), p.131-150
2022
Volltextzugriff (PDF)

Lecture notes in computer science, 2004, p.257-271
2004
Volltextzugriff (PDF)

Lecture notes in computer science, 2004, Vol.2919, p.486-501
2004
Volltextzugriff (PDF)


Lecture notes in computer science, 2004, p.93-104
2004
Volltextzugriff (PDF)

Lecture notes in computer science, 2004, p.272-286
2004
Volltextzugriff (PDF)


Lecture notes in computer science, 2004, Vol.2919, p.452-467
2004
Volltextzugriff (PDF)


Open Access
Local Consistencies in SAT
Lecture notes in computer science, 2004, Vol.2919, p.299-314
2004
Volltextzugriff (PDF)

Lecture notes in computer science, 2004, Vol.2919, p.411-425
2004
Volltextzugriff (PDF)

Read-once unit resolution
Lecture notes in computer science, 2004, p.356-369
2004
Volltextzugriff (PDF)


Lecture notes in computer science, 2004, Vol.2919, p.78-92
2004
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n