Igor L. Markov

2 papers in the IJCAI proceedings

IJCAI 2003

Combining Two Local Search Approaches to Hypergraph Partitioning

with Arathi Ramani

Details PDF

Efficient Symmetry Breaking for Boolean Satisfiability

with Fadi A. Aloul, Karem A. Sakallah

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings