Igor Gammer

According to our database, Igor Gammer authored at least 1 paper in 2007.

Collaborative distances:

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

2007

Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic.

Igor Gammer, Eyal Amir

Proceedings of the Abstraction, 2007