Karem A. Sakallah

Department of Electrical Engineering and Computer Science , University of Michigan , Ann Arbor 48109-2122

2 papers in the IJCAI proceedings

IJCAI 2005

Identifying Conflicts in Overconstrained Temporal Problems

with Mark H. Liffiton, Michael D. Moffitt, Martha E. Pollack

Details PDF

IJCAI 2003

Efficient Symmetry Breaking for Boolean Satisfiability

with Fadi A. Aloul, Igor L. Markov

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings