Author:Matti Järvisalo

Publications
Proceedings of Pragmatics of SAT 2015 and 2018 Daniel Le Berre and Matti Järvisalo (editors) EPiC Series in Computing, volume 59
Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation Jarkko Savela, Emilia Oikarinen and Matti Järvisalo In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Applications of MaxSAT in Data Analysis Jeremias Berg, Antti Hyttinen and Matti Järvisalo In:Proceedings of Pragmatics of SAT 2015 and 2018
Covered Clause Elimination Marijn Heule, Matti Järvisalo and Armin Biere In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.