Skip to content

DR EMIR DEMIROVIĆ

ASSISTANT PROFESSOR. ALGORITHMICS GROUP. TU DELFT
  • Home
  • About Me
  • Research
  • Publications
  • Contact

DR EMIR DEMIROVIĆ

ASSISTANT PROFESSOR. ALGORITHMICS GROUP. TU DELFT
  • Home
  • About Me
  • Research
  • Publications
  • Contact

incomplete solving

Core-Boosted Linear Search for Incomplete MaxSAT

  • core-guided MaxSAT, incomplete solving, linear algorithm, Maximum Satisfiability, maxSAT, SAT-based MaxSAT

Keywords

  • Cardinality constraints
  • core-guided MaxSAT
  • Employee scheduling
  • Generalized Assignment Problem
  • High School Timetabling,
  • Incomplete MaxSAT
  • incomplete solving
  • Large Neighborhood Search
  • linear algorithm
  • Local Search
  • Machine Reassignment
  • Maximum Satisfiability
  • maxSAT
  • SAT encodings
  • SAT-based MaxSAT
  • Solution-guided search
  • Uncategorized
  • Variable Neighborhood Search
Copyright © 2020 Emir Demirović