Treffer: Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization

Title:
Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization
Authors:
Jabs, Christoph, Berg, Jeremias, Ihalainen, Hannes, Järvisalo, Matti
Contributors:
Department of Computer Science, Constraint Reasoning and Optimization research group / Matti Järvisalo, Helsinki Institute for Information Technology, Christoph Jabs and Jeremias Berg and Hannes Ihalainen and Matti Järvisalo
Publisher Information:
Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023.
Publication Year:
2023
Subject Terms:
Computer and information sciences, maximum satisfiability, redundancy, multi-objective combinatorial optimization, ddc:004, preprocessing
Document Type:
Konferenz Conference object<br />Article
File Description:
application/pdf
Language:
English
DOI:
10.4230/lipics.cp.2023.18
Access URL:
http://hdl.handle.net/10138/566397
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2023.18
Rights:
CC BY
Accession Number:
edsair.dedup.wf.002..26c8e0d9c00cededfb0d0a0e2a14f884
Database:
OpenAIRE