Morad Muslimany

According to our database, Morad Muslimany authored at least 2 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

SAT-Based Big-Step Local Search.

Morad Muslimany, Michael Codish

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

2017

Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description).

Michael Codish, Michael Frank, Amit Metodi, Morad Muslimany

Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017