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

Local Search

MaxSAT-based large neighborhood search for high school timetabling

  • High School Timetabling,, Large Neighborhood Search, Local Search, maxSAT

Variable Neighborhood Search for Google Machine Reassignment Problem

  • Generalized Assignment Problem, Local Search, Machine Reassignment, Variable Neighborhood Search

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ć