Artificial Intelligence

Title Titel

e-ISSN

1872-7921

ISSN

0004-3702

Publisher Herausgeber

ELSEVIER

Publisher's Address Herausgeber Adresse

RADARWEG 29, AMSTERDAM, Netherlands, 1043 NX

Listed in SCI Aufgelistet im SCI

Peer reviewed Begutachtet

Filter:

Author: Szeider, Stefan

Subject: MaxSAT

Results 1-1 of 1 (Search time: 0.001 seconds).

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Schidler, André ; Szeider, Stefan	Computing optimal hypertree decompositions with SAT	Article Artikel	Dec-2023