Matti Järvisalo

Matti Järvisalo

University of Helsinki - Helsinki / Finland
Others
AD Scientific Index ID: 1657728
Helsingin yliopisto
person_outline Matti Järvisalo's MOST POPULAR ARTICLES
1-) Inprocessing RulesM Järvisalo, M Heule, A BiereProceedings of the 6th International Joint Conference on Automated Reasoning …, 20122342012
2-) The International SAT Solver CompetitionsM Järvisalo, D Le Berre, O Roussel, L SimonAI Magazine 33 (1), 89-92, 20122042012
3-) Blocked clause eliminationM Järvisalo, A Biere, M HeuleInternational conference on tools and algorithms for the construction and …, 20101582010
4-) Constraint-based Causal Discovery: Conflict Resolution with Answer Set Programming.A Hyttinen, F Eberhardt, M JärvisaloUAI, 340-349, 20141592014
5-) Complexity-Sensitive Decision Procedures for Abstract ArgumentationW Dvorák, M Järvisalo, JP Wallner, S WoltranProceedings of the 13th International Conference on Principles of Knowledge …, 20121492012