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

Principal Investigator
Constraint Reasoning and Optimization

Department of Computer Science
Faculty of Science
University of Helsinki

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
Pietari Kalmin katu 5
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 postdoc position in my group?
We are looking for a talented postdoc with proven potential and a strong background in solver development, applications, and/or theory related to SAT, constraints, optimization, mathematical programming, formal verification, graphical models, and explainable AI.
Contact me by email for more details!

Looking for a research-oriented Master's thesis topic, with a possibility of a part-time or full-time research assistant position? We are always on the lookout 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.
Disclaimer: Apart from truly exceptional cases, internships are only available to student locally in the Helsinki region. I am not able to respond to every international query about internship opportunities.


See also recent work for new publications.

  • Our JAIR article Clause Elimination for SAT and QSAT has been selected as the winner of the 2019 IJCAI-JAIR Best Paper Prize as an outstanding paper published in JAIR in the preceding five calendar years.
  • I will co-chair the IJCAI-PRICAI 2020 Demo Track.
  • I am editorial board member of Journal on Satisfiability, Boolean Modeling and Computation (JSAT).
  • In 2020, I am on the senior PC of IJCAI-PRICAI 2020 and on the PCs of AAAI 2020, ECAI 2020, SAT 2020, CPAIOR 2020, FoIKS 2020, SAC 2020 (KRR track), and SoCS 2020.
  • Further activities are listed here.
  • My Academy of Finland project Declarative Boolean Optimization: Pushing the Envelope (9/2029-8/2023) is funded under the Academy Research Project for Early-Career Researchers scheme.
  • My Academy of Finland project Symbolic Reasoning for Formally Verified and Explainable AI (2020-2022) is funded under ICT 2023 Autonomous Everything scheme.
  • Starting 1/2018 I'm on the University of Helsinki tenure track as Associate Professor of computer science.

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 See here.

Professional Activities

Invited Talks and Tutorials

Editorial Board Memberships

Steering Committee Memberships

Program Committee Chairing, Guest Editorials, Senior PC Memberships

Program Committee Memberships



Reviewed scientific manuscripts for





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: