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

Incomplete MaxSAT

Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search

Incomplete MaxSAT, maxSAT, Solution-guided search

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ć