Oliver Matheis

According to our database, Oliver Matheis authored at least 1 paper in 2012.

Collaborative distances:

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

2012

Unsatisfiability-based optimization in clasp.

Benjamin Andres, Benjamin Kaufmann, Oliver Matheis, Torsten Schaub

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012