Login / Signup
Exploiting Resolution-based Representations for MaxSAT Solving.
Miguel Neves
Ruben Martins
Mikolás Janota
Inês Lynce
Vasco M. Manquinho
Published in:
CoRR (2015)
Keyphrases
</>
combinatorial optimization
upper bound
low resolution
high resolution
higher level
boolean optimization
real time
social networks
simulated annealing
branch and bound algorithm