Skip to content

DR EMIR DEMIROVIĆ

ASSISTANT PROFESSOR. ALGORITHMICS GROUP. TU DELFT

Home
About Me
Research
Publications
Contact

Search for...

DR EMIR DEMIROVIĆ

ASSISTANT PROFESSOR. ALGORITHMICS GROUP. TU DELFT

Home
About Me
Research
Publications
Contact

Maximum Satisfiability

Core-Boosted Linear Search for Incomplete MaxSAT

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

Search for:

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ć