Paul Saikko

Doctoral student in the Constraint Reasoning and Optimization group at HIIT.

Github | Google Scholar | dblp | LinkedIn

Software

• LMHS
  A weighted partial MaxSAT solver. 2015 MaxSAT Evaluation results


• AbHS
  Propositional abduction solver of KR'16 paper.


• ASP-HS
  Answer set optimization solver of KR'18 paper.

Publications

• A Hybrid Approach to Optimization in Answer Set Programming.
  Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo: KR 2018: 32-41


• Reduced Cost Fixing for Maximum Satisfiability.
  Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko: IJCAI 2018: 5209-5213


• A Core-Guided Approach to Learning Optimal Causal Graphs.
  Antti Hyttinen, Paul Saikko, Matti Järvisalo: IJCAI 2017: 641-651


• Reduced Cost Fixing in MaxSAT.
  Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko: CP 2017: 645-651


• MaxPre: An Extended MaxSAT Preprocessor.
  Tuukka Korhonen, Jeremias Berg, Paul Saikko, Matti Järvisalo: SAT 2017: 449-456


• LMHS: A Hybrid SAT-IP MaxSAT Solver.
  Paul Saikko, Jeremias Berg, Matti Järvisalo: SAT 2016: 539-546


• Subsumed Label Elimination for Maximum Satisfiability.
  Jeremias Berg, Paul Saikko, Matti Järvisalo: ECAI 2016: 630-638


• Implicit Hitting Set Algorithms for Reasoning Beyond NP.
  Paul Saikko, Johannes Peter Wallner, Matti Järvisalo: KR 2016: 104-113


• MaxSAT-Based Cutting Planes for Learning Graphical Models.
  Paul Saikko, Brandon Malone, Matti Järvisalo: CPAIOR 2015: 347-356


• Re-using Auxiliary Variables for MaxSAT Preprocessing.
  Jeremias Berg, Paul Saikko, Matti Järvisalo: ICTAI 2015: 813-820


• Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT.
  Jeremias Berg, Paul Saikko, Matti Järvisalo: IJCAI 2015: 239-245

Miscellaneous

• M.Sc. Thesis (2015)
  Title: Re-implementing and Extending a Hybrid SAT-IP Approach to Maximum Satisfiability
  Awarded Finnish Society for Computer Science M.Sc. thesis of the year prize. (presentation slides).


• tinysat.js
  Minimalistic CDCL SAT solver in javascript. Live at github.


• Javascript raycasting graphics engine
  Adapted from a C++ raycasting tutorial. Uses only plain js and the HTML 5 canvas. Demo.


• Compilers project (2014)
  Interpreter for a toy language, with LL(1) parser generator and regex engine. Implemented in C#.


• Project in String Processing Algorithms (2014)
  Java implementations of multiple-exact-string-matching algorithms.


• B.Sc. Thesis (2013)
  Title: Algorithmic Mechanism Design.


• Web programming project (2013)
  Asteroids game in javascript. Playable here.


• Data structures project (2011)
  Sudoku solver that shows the reasoning for each step in a GUI.


• Java programming project (2010)
  Chess game with GUI and AI using minimax algorithm with alpha-beta pruning.