Peter Skocovsky

According to our database¹, Peter Skocovsky authored at least 5 papers between 2013 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., March, 2024

2023

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., November, 2023

2018

Enumerating Justifications Using Resolution.

[BibT_eX]

[DOI]

Yevgeny Kazakov

Peter Skocovský

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2013

SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Global SPACING Constraint (Technical Report)

[BibT_eX]

[DOI]

Nina Narodytska

Peter Skocovsky

Toby Walsh

CoRR, 2013

Peter Skocovsky

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...