Yoav Fekete

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Constraint Programming

Constraint Solving

Phase Transition

Top Venues

Haifa Verification Conference

Publications

Yoav Fekete, Michael Codish
Simplifying Pseudo-Boolean Constraints in Residual Number Systems. SAT (2014)
Michael Codish, Yoav Fekete, Amit Metodi
Backbones for Equality. Haifa Verification Conference (2013)
Michael Codish, Yoav Fekete, Amit Metodi
Compiling Finite Domain Constraints to SAT with BEE: the Director's Cut. CoRR (2013)
Michael Codish, Yoav Fekete, Carsten Fuhs, Jürgen Giesl, Johannes Waldmann
Exotic Semi-Ring Constraints. SMT@IJCAR (2012)
Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp
Optimal Base Encodings for Pseudo-Boolean Constraints. TACAS (2011)
Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp
Optimal Base Encodings for Pseudo-Boolean Constraints CoRR (2010)