Research output per year
Research output per year
Personal profile
Fields of Science
- 113 Computer and information sciences
International and National Collaboration
Publications and projects within past five years.
-
Implicit Hitting Set Algorithms for Constraint Optimization
Saikko, P., 2019, Helsinki: Helsingin yliopisto.Research output: Thesis › Doctoral Thesis › Collection of Articles
Open Access -
A Hybrid Approach to Optimization in Answer Set Programming
Saikko, P. H. A., Dodaro, C., Alviano, M. & Järvisalo, M. J., 2018, Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018). Thielscher, M., Toni, F. & Wolter, F. (eds.). AAAI Press, p. 32-41 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
ASP-HS: An answer set optimizer based on the implicit hitting set paradigm
Saikko, P., Dodaro, C., Alviano, M. & Järvisalo, M., 2018Research output: Non-textual form › Software › Scientific
-
Reduced Cost Fixing for Maximum Satisfiability
Bacchus, F., Hyttinen, A. J., Järvisalo, M. J. & Saikko, P. H. A., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018). Lang, J. (ed.). Palo Alto, California: AAAI Press, p. 5209-5213 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile -
A Core-Guided Approach to Learning Optimal Causal Graphs
Hyttinen, A., Saikko, P. & Järvisalo, M., 2017, Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017). Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 645-651 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile
Prizes
-
CP 2017 Distinguished Paper Award
Bacchus, F. (Recipient), Hyttinen, Antti (Recipient), Järvisalo, Matti (Recipient) & Saikko, Paul (Recipient), 2017
Prize: Prizes and awards
Activities
- 1 Organisation and participation in conferences, workshops, courses, seminars
-
SAT/SMT/AR Summer School 2018
Paul Saikko (Attendee)
3 Jul 2018 → 6 Jul 2018Activity: Participating in or organising an event types › Organisation and participation in conferences, workshops, courses, seminars