Optimal Base Encodings for Pseudo-Boolean Constraints. - Michael Codish; Yoav Fekete; Carsten Fuhs; Peter Schneider-Kamp (TACAS, 2011)

Exotic Semi-Ring Constraints. - Michael Codish; Yoav Fekete; Carsten Fuhs; Jürgen Giesl; Johannes Waldmann (SMT@IJCAR, 2012)

Backbones for Equality. - Michael Codish; Yoav Fekete; Amit Metodi (Haifa Verification Conference, 2013)

Compiling Finite Domain Constraints to SAT with BEE: the Director's Cut. - Michael Codish; Yoav Fekete; Amit Metodi (CoRR, 2013)

Simplifying Pseudo-Boolean Constraints in Residual Number Systems. - Yoav Fekete; Michael Codish (SAT, 2014)