Login / Signup
IPO-MAXSAT: Combining the In-Parameter-Order Strategy for Covering Array Generation with MaxSAT Solving (Extended Abstract).
Irene Hiess
Ludwig Kampel
Michael Wagner
Dimitris E. Simos
Published in:
SOCS (2022)
Keyphrases
</>
extended abstract
combinatorial optimization
branch and bound algorithm
upper bound
sat solvers
input parameters
search strategy
special case
evolutionary algorithm
lower bound
website
machine learning
real world
neural network
selection strategy
optimal strategy
database