Login / Signup
IPO-MAXSAT: The In-Parameter-Order Strategy combined with MaxSAT solving for Covering Array Generation.
Irene Hiess
Ludwig Kampel
Michael Wagner
Dimitris E. Simos
Published in:
SYNASC (2022)
Keyphrases
</>
combinatorial optimization
upper bound
branch and bound algorithm
artificial intelligence
real time
data sets
database
machine learning
multiscale
special case
linear programming
parameter settings
generation process