arXiv 2003-10-31 EN Satisfiability and computing van der Waerden numbers Dransfield, Michael R. · Marek, Victor W. · Truszczynski, Miroslaw
arXiv 2003-10-31 EN Local-search techniques for propositional logic extended with cardinality constraints Liu, Lengning · Truszczynski, Miroslaw
