LMHS 2017

Paul Henrik Alexander Saikko, Matti Juhani Järvisalo

Research output: Non-textual form › Software › Scientific

Original language	English
Publication status	Published - 10 Aug 2017
MoE publication type	I2 ICT software

Fields of Science

113 Computer and information sciences

Access to Document

http://www.cs.helsinki.fi/group/coreo/lmhs

Harnessing Constraint Reasoning for Structure Discovery
Järvisalo, M. (Project manager)
Unknown funder
01/01/2015 → 31/12/2018
Project: University of Helsinki Three-Year Research Project
Decision Procedures for the Polynomial Hierarchy, Boolean Optimization, and Model Counting
Järvisalo, M. (Project manager)
Unknown funder
01/09/2014 → 31/08/2019
Project: Research project

Cite this