Matti Jarvisalo

Matti Järvisalo

                                        University of Helsinki         Helsinki Institute for Information Technology Academy of Finland

[News and Highlights] [Research] [Publications] [Activities] [Teaching]

Associate Professor of Computer Science
Academy Research Fellow
Academy of Finland, 9/2014-8/2019
Principal Investigator
Constraint Reasoning and Optimization
Department of Computer Science
Faculty of Science
University of Helsinki

D.Sc.(Tech.) with distinction, 2008
   Helsinki University of Technology TKK
   [TKK is part of Aalto University since 2010.]
Lic.Sc. (Tech.), 2007, TKK
M.Sc. (Tech.) with distinction, 2004, TKK
Postal Address: Department of Computer Science / HIIT
P.O. Box 68
FI-00014 University of Helsinki
Office:Room A312,
3rd floor of Exactum, wing A
Gustaf Hällströmin katu 2b
Telephone: +358 50 3199 248
Email: matti.jarvisalo[AT]

I lead the Constraint Reasoning and Optimization Group at the University of Helsinki.

Interested in a part-time or full-time research assistant position aiming at a Master's thesis?
We are constantly looking for talented students with

to work with us on forefront research problems within the Constraint Reasoning and Optimization Group. For more information, contact me by email.


See also recent work for new publications.

  • Starting 1/2018 I'm on the University of Helsinki tenure track as Associate Professor of computer science.
  • I will chair the 8th Pragmatics of SAT workshop together with Daniel Le Berre at the Federated Logic Conference (FLoC) 2018 in Oxford, UK.
  • In 2018, I am on the PCs of AAAI 2018, CPAIOR 2018, IJCAI-ECAI 2018, SAT 2018, SAC 2018 KRR track, and RCRA 2018.
  • I'm a member of the Finnish Center for Artificial Intelligence (FCAI) that started in the beginning of 2018.
  • My project Harnessing Constraint Reasoning for Structure Discovery runs for the years 2015-2018 under the three-year research project funding scheme of the University of Helsinki.
  • My Academy of Finland project Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting (9/2014-8/2019) is funded under the Academy Research Fellow scheme.

Earlier Highlights

M. Järvisalo, A. Van Gelder (eds.), LNCS 7962, Springer, 2013.


Research Interests

Boolean satisfiability and generalizations, decision procedures, constraint satisfaction, combinatorial/discrete optimization, automated reasoning, artificial intelligence, operations research, knowledge representation, complexity of reasoning, computational aspects of argumentation, probabilistic graphical models, structure discovery, ...

Awards and Honors



A complete list of my publications with downloadable papers and bibtex entries is available both by year and by type.

External sources:
DBLP entry, Google Scholar profile, Semantic Scholar, Orcid ID 0000-0003-2572-063X (incomplete data), Scopus Author ID 23397451200 (incomplete data).

Some recent work

Research-Related Software

Professional Activities

Invited Talks and Tutorials

Steering Committee Memberships

Program Committee Chairing and Editorships

Program Committee Memberships



Reviewed scientific manuscripts for


Conferences (not including PC memberships):




To prospective students: If you're interested in conducting research aiming at a thesis under my guidance, feel free to contact me via email. To get a feel for possible topic areas, see my research interests above. You can also have a look at my publications.


Lectured (teacher-in-charge of) the following courses at the University of Helsinki:

Previously, I've been involved as TA on: