Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces

dc.contributor.author	Sundermann, Chico
dc.contributor.author	Heß, Tobias
dc.contributor.author	Nieke, Michael
dc.contributor.author	Bittner, Paul Maximilian
dc.contributor.author	Young, Jeffrey M.
dc.contributor.author	Thüm, Thomas
dc.contributor.author	Schaefer, Ina
dc.contributor.editor	Rabiser, Rick
dc.contributor.editor	Wimmer, Manuel
dc.contributor.editor	Groher, Iris
dc.contributor.editor	Wortmann, Andreas
dc.contributor.editor	Wiesmayr, Bianca
dc.date.accessioned	2024-02-19T09:22:47Z
dc.date.available	2024-02-19T09:22:47Z
dc.date.issued	2024
dc.identifier.doi	10.18420/sw2024_18
dc.identifier.isbn	978-3-88579-737-1
dc.identifier.pissn	1617-5468
dc.identifier.uri	https://dl.gi.de/handle/20.500.12116/43560
dc.language.iso	en
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Software Engineering 2024 (SE 2024)
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-343
dc.subject	Feature modeling
dc.subject	Product lines
dc.subject	Model counting
dc.subject	#SAT
dc.title	Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces	en
dc.type	Text/Conference Paper
gi.citation.endPage	68
gi.citation.publisherPlace	Bonn
gi.citation.startPage	67
gi.conference.date	26. Februar-1. März 2024
gi.conference.location	Linz, Österreich
gi.conference.sessiontitle	Understanding Software

Dateien

1 - 1 von 1