DMCA

On conflict-driven variable ordering heuristucs (2008)

by Thanasis Balafoutis , Kostas Stergiou
Venue:In Proceedings of the ERCIM workshop - CSCLP
Citations:3 - 2 self