Michael Dingess

According to our database, Michael Dingess authored at least 1 paper in 2020.

Collaborative distances:

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

2020

Automated Aggregator - Rewriting with the Counting Aggregate.

Michael Dingess, Miroslaw Truszczynski

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020