DMCA

Symmetry breaking in quantified boolean formulae (2007)

by Gilles Audemard , Saïd Jabbour , Lakhdar Saïs
Venue:IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence
Citations:5 - 1 self