Igor Gammer

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Igor Gammer, Eyal Amir
Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic. SARA (2007)