Peter Skocovský

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 4

Top Topics

Haplotype Inference

Top Venues

Theory Pract. Log. Program.

Publications

Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM. Theory Pract. Log. Program. 24 (2) (2024)
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. Theory Pract. Log. Program. 23 (6) (2023)
Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovský, Daria Stepanova
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. KR (2021)
Yevgeny Kazakov, Peter Skocovský
Enumerating Justifications Using Resolution. IJCAR (2018)