Aloul, Fadi A.

2 publications

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

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