DMCA

Incremental Breakout Algorithm with Variable Ordering

by Carlos Eisenberg , Boi Faltings