Alexandros Efremidis

According to our database, Alexandros Efremidis authored at least 2 papers between 2018 and 2021.

Collaborative distances:

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

2021

Solving B Constraints with Goal-directed Answer Set Programming.

Alexandros Efremidis

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

2018

Measuring Coverage of Prolog Programs Using Mutation Testing.

Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner

Proceedings of the Functional and Constraint Logic Programming, 2018