Towards Modern and Modular SAT for LCG (Short Paper).

Jip J. Dekker, Alexey Ignatiev, Peter J. Stuckey, Allen Z. Zhong

Browse the full CP paper archive.