Login / Signup

Certified Core-Guided MaxSAT Solving.

Jeremias BergBart BogaertsJakob NordströmAndy OertelDieter Vandesande
Published in: CADE (2023)
Keyphrases
  • combinatorial optimization
  • upper bound
  • data mining
  • artificial intelligence
  • case study
  • database systems
  • bayesian networks
  • expert systems
  • evolutionary algorithm
  • branch and bound algorithm
  • boolean optimization