Yoav Fekete

According to our database, Yoav Fekete authored at least 5 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Simplifying Pseudo-Boolean Constraints in Residual Number Systems.

Yoav Fekete, Michael Codish

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

2013

Compiling Finite Domain Constraints to SAT with BEE: the Director's Cut.

Michael Codish, Yoav Fekete, Amit Metodi

CoRR, 2013

Backbones for Equality.

Michael Codish, Yoav Fekete, Amit Metodi

Proceedings of the Hardware and Software: Verification and Testing, 2013

2012

Exotic Semi-Ring Constraints.

Michael Codish, Yoav Fekete, Carsten Fuhs, Jürgen Giesl, Johannes Waldmann

Proceedings of the 10th International Workshop on Satisfiability Modulo Theories, 2012

2011

Optimal Base Encodings for Pseudo-Boolean Constraints.

Michael Codish, Yoav Fekete, Carsten Fuhs, Peter Schneider-Kamp

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011