Login / Signup
Morad Muslimany
Publication Activity (10 Years)
Years Active: 2017-2018
Publications (10 Years): 2
Top Topics
Scheduling Problem
Max Sat
Search Algorithm
Graph Coloring
Top Venues
SYNASC
ICLP (Technical Communications)
</>
Publications
</>
Morad Muslimany
,
Michael Codish
SAT-Based Big-Step Local Search.
SYNASC
(2018)
Michael Codish
,
Michael Frank
,
Amit Metodi
,
Morad Muslimany
Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description).
ICLP (Technical Communications)
(2017)