Travelled to:1 × Austria
1 × Germany
1 × United Kingdom
Collaborated with:M.Codish C.Fuhs P.Schneider-Kamp J.Giesl J.Waldmann
Talks about:constraint (3) boolean (2) pseudo (2) simplifi (1) system (1) residu (1) number (1) optim (1) encod (1) semi (1)
Person: Yoav Fekete
DBLP: Fekete:Yoav
Contributed to:
2014
2012
2011Wrote 3 papers:
- SAT-2014-FeketeC #constraints #pseudo
- Simplifying Pseudo-Boolean Constraints in Residual Number Systems (YF, MC), pp. 351–366.
- SMT-2012-CodishFFGW #constraints
- Exotic Semi-Ring Constraints (MC, YF, CF, JG, JW), pp. 88–97.
- TACAS-2011-CodishFFS #constraints #encoding #pseudo
- Optimal Base Encodings for Pseudo-Boolean Constraints (MC, YF, CF, PSK), pp. 189–204.