Sakallah, Karem A.

3 publications

JAIR 2006 Breaking Instance-Independent Symmetries in Exact Graph Coloring Arathi Ramani, Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul

IJCAI 2005 Identifying Conflicts in Overconstrained Temporal Problems Mark H. Liffiton, Michael D. Moffitt, Martha E. Pollack, Karem A. Sakallah

IJCAI 2003 Efficient Symmetry Breaking for Boolean Satisfiability Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov