Morad Muslimany

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 2

Top Topics

Scheduling Problem

Search Algorithm

Top Venues

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)