Login / Signup
From Single-Objective to Bi-Objective Maximum Satisfiability Solving.
Christoph Jabs
Jeremias Berg
Andreas Niskanen
Matti Järvisalo
Published in:
J. Artif. Intell. Res. (2024)
Keyphrases
</>
np hard
bi objective
knapsack problem
multi objective
efficient solutions
maximum satisfiability
multiple objectives
multi objective optimization
ant colony optimization
max sat
network design
shortest path problem
boolean satisfiability
combinatorial optimization