Matti Järvisalo

RSS feed of this list

  1. Proceedings of SAT Competition 2017: Solver and Benchmark Descriptions

    Balyo, T., Heule, M. J. H. & Järvisalo, M. J. 2017 Helsinki: Department of Computer Science, University of Helsinki. 61 p. (Series of Publications B)

    Publication: Book/anthologyC2 Edited book, compilation, conference proceeding or special issue of journal

  2. Accepted/In press

    Learning Chordal Markov Networks via Branch and Bound

    Rantanen, K. M. J., Hyttinen, A. J. & Järvisalo, M. J. 2017

    Publication: Conference contributionA4 Article in conference publication (refereed)

  3. Accepted/In press

    On Computing Generalized Backbones

    Previti, A., Ignatiev, A., Järvisalo, M. J. & Marques-Silva, J. 2017 8 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  4. MaxPre: An Extended MaxSAT Preprocessor

    Korhonen, T. M. A., Berg, O. J., Saikko, P. H. A. & Järvisalo, M. J. 2017

    Publication: Sound and image mediaI2 ICT programs or applications

  5. aba2af: A system for reasoning about acceptance in structured argumentation via abstract argumentation

    Lehtonen, T. T. P., Wallner, J. P. & Järvisalo, M. J. 2017

    Publication: Sound and image mediaI2 ICT programs or applications

  6. Accepted/In press
  7. Accepted/In press

    A Constraint Optimization Approach to Causal Discovery from Subsampled Time Series Data

    Hyttinen, A. J., Plis, S. M., Järvisalo, M. J., Eberhardt, F. & Danks, D. 2017 In : International Journal of Approximate Reasoning.

    Publication: Contribution to journalA1 Refereed journal article

  8. Improving MCS Enumeration via Caching

    Previti, A., Mencía, C., Järvisalo, M. & Marques-Silva, J. 2017 p. 184-194 11 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  9. MaxPre: An Extended MaxSAT Preprocessor

    Korhonen, T., Berg, J., Saikko, P. & Järvisalo, M. 2017 p. 449-456 8 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  10. Minimum-Width Confidence Bands via Constraint Optimization

    Berg, J., Oikarinen, E., Järvisalo, M. & Puolamäki, K. 2017 p. 443-459 17 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  11. Weight-Aware Core Extraction in SAT-Based MaxSAT Solving

    Berg, J. & Järvisalo, M. 2017 p. 652-670 19 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  12. Reduced Cost Fixing in MaxSAT

    Bacchus, F., Hyttinen, A., Järvisalo, M. & Saikko, P. 2017 p. 641-651 11 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  13. From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning

    Lehtonen, T., Wallner, J. P. & Järvisalo, M. 2017 p. 57-68 12 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  14. A Core-Guided Approach to Learning Optimal Causal Graphs

    Hyttinen, A., Saikko, P. & Järvisalo, M. 2017 p. 645-651 7 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  15. SAT-Based Approaches to Reasoning about Argumentation Frameworks

    Järvisalo, M. 2016 p. 1-2 2 p.

    Publication: Conference contributionD3 Article in professional conference proceedings

  16. Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity (Extended Abstract)

    Cussens, J., Järvisalo, M., Korhonen, J. H. & Bartlett, M. 2017 p. 4990-4994 5 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  17. Accepted/In press

    Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation

    Wallner, J. P., Niskanen, A. J. A. & Järvisalo, M. J. 2017 In : Journal of Artificial Intelligence Research. 60, p. 1-40 40 p.

    Publication: Contribution to journalA1 Refereed journal article

  18. AFSynth (version 2016-08-10): Synthesizing Argumentation Frameworks from Examples

    Niskanen, A. J. A., Järvisalo, M. J. & Wallner, J. P. 10 Aug 2016

    Publication: Sound and image mediaI2 ICT programs or applications

  19. SAT Competition 2016: Recent Developments

    Balyo, T., Heule, M. J. H. & Järvisalo, M. Jul 2017 p. 5061-5063 3 p.

    Publication: Conference contributionB3 Unrefereed article in conference proceedings

  20. Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity

    Cussens, J., Järvisalo, M., Korhonen, J. H. & Bartlett, M. 2017 In : Journal of Artificial Intelligence Research. 58, p. 185-229 45 p.

    Publication: Contribution to journalA1 Refereed journal article

  21. Pakota: A System for Enforcement in Abstract Argumentation

    Niskanen, A., Wallner, J. P. & Järvisalo, M. Nov 2016 p. 385-400 16 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  22. Causal Discovery from Subsampled Time Series Data by Constraint Optimization

    Hyttinen, A. J., Plis, S. M., Järvisalo, M. J., Eberhardt, F. & Danks, D. 2016 p. 216-227 12 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  23. Proceedings of SAT Competition 2016: Solver and Benchmark Descriptions

    Balyo, T., Heule, M. J. H. & Järvisalo, M. J. (ed.) 2016 Helsinki: University of Helsinki. 77 p. (Department of Computer Science Series of Publications B; vol. B-2016-1)

    Publication: Book/anthologyC2 Edited book, compilation, conference proceeding or special issue of journal

  24. Synthesizing Argumentation Frameworks from Examples

    Niskanen, A., Wallner, J. P. & Järvisalo, M. 2016 p. 551-559 9 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  25. Subsumed Label Elimination for Maximum Satisfiability

    Berg, J., Saikko, P. & Järvisalo, M. 2016 p. 630-638 9 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  26. Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving

    Berg, J. & Järvisalo, M. 23 Aug 2016 p. 66-85 20 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  27. Boolean Satisfiability and Beyond: Algorithms, Analysis, and AI Applications

    Järvisalo, M. J. 2016 p. 4066-4069 4 p.

    Publication: Conference contributionB3 Unrefereed article in conference proceedings

  28. LMHS: A SAT-IP Hybrid MaxSAT Solver

    Saikko, P., Berg, J. & Järvisalo, M. 2016 p. 539-546 8 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  29. Optimal Status Enforcement in Abstract Argumentation

    Niskanen, A. J. A., Wallner, J. P. & Järvisalo, M. J. 2016 p. 1216-1222 7 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  30. Implicit Hitting Set Algorithms for Reasoning Beyond NP

    Saikko, P. H. A., Wallner, J. P. & Järvisalo, M. J. 2016 p. 104-113 10 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  31. Separating OR, SUM, and XOR Circuits

    Find, M., Göös, M., Järvisalo, M., Kaski, P., Koivisto, M. & Korhonen, J. H. Aug 2016 In : Journal of Computer and System Sciences. 82, 5, p. 793-801 9 p.

    Publication: Contribution to journalA1 Refereed journal article

  32. LMHS: A SAT-IP Hybrid MaxSAT solver

    Saikko, P. H. A. & Järvisalo, M. J. 2015

    Publication: Sound and image mediaI2 ICT programs or applications

  33. Synchronous counting and computational algorithm design

    Dolev, D., Heljanko, K., Järvisalo, M., Korhonen, J. H., Lenzen, C., Rybicki, J., Suomela, J. & Wieringa, S. Mar 2016 In : Journal of Computer and System Sciences. 82, 2, p. 310-332

    Publication: Contribution to journalA1 Refereed journal article

  34. Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation

    Wallner, J. P., Niskanen, A. & Järvisalo, M. 2016 p. 1088-1094 7 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  35. Re-using Auxiliary Variables for MaxSAT Preprocessing

    Berg, O. J., Saikko, P. H. A. & Järvisalo, M. J. 2015 p. 813-820 8 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  36. Accepted/In press

    Applications of MaxSAT in Data Analysis

    Berg, O. J., Hyttinen, A. J. & Järvisalo, M. J. 2015

    Publication: Conference contributionA4 Article in conference publication (refereed)

  37. Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability

    Berg, J. & Järvisalo, M. Mar 2017 In : Artificial Intelligence. 244, p. 110-142 33 p.

    Publication: Contribution to journalA1 Refereed journal article

  38. Do-calculus when the True Graph is Unknown

    Hyttinen, A., Eberhardt, F. & Järvisalo, M. 2015 p. 395-404 10 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  39. Learning Optimal Chain Graphs with Answer Set Programming

    Sonntag, D., Järvisalo, M. J., Peña, J. & Hyttinen, A. 2015 p. 822-831 10 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  40. Impact of Learning Strategies on the Quality of Bayesian Networks: An Empirical Evaluation

    Malone, B., Järvisalo, M. J. & Myllymäki, P. 2015 p. 562-571 10 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  41. Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT

    Berg, J., Saikko, P. & Järvisalo, M. 2015 p. 239-245 7 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  42. Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)

    Dvorak, W., Järvisalo, M., Wallner, J. P. & Woltran, S. 2015 p. 4173-4177 5 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  43. Clause Elimination for SAT and QSAT

    Heule, M., Järvisalo, M., Lonsing, F., Seidl, M. & Biere, A. 2015 In : Journal of Artificial Intelligence Research. 53, p. 127-168 42 p.

    Publication: Contribution to journalA1 Refereed journal article

  44. Overview and Analysis of the SAT Challenge 2012 Solver Competition

    Balint, A., Belov, A., Järvisalo, M. & Sinz, C. 2015 In : Artificial Intelligence. 223, p. 120-155 36 p.

    Publication: Contribution to journalA1 Refereed journal article

  45. MaxSAT-Based Cutting Planes for Learning Graphical Models

    Saikko, P., Malone, B. & Järvisalo, M. 2015 p. 347-356 10 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  46. SAT-Based Approaches to Treewidth Computation: An Evaluation

    Berg, J. & Järvisalo, M. 2014 p. 328-335 8 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  47. Answer Set Solver Backdoors

    Oikarinen, E. & Järvisalo, M. 2014 p. 674-683 10 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  48. Proceedings of SAT Competition 2014: Solver and Benchmark Descriptions

    Belov, A. (ed.), Diepold, D. (ed.), Heule, M. J. H. (ed.) & Järvisalo, M. (ed.) 2014 Helsinki: University of Helsinki. 108 p. (Department of Computer Science Series of Publications B; vol. B-2014-2)

    Publication: Book/anthologyC2 Edited book, compilation, conference proceeding or special issue of journal

  49. Constraint-based Causal Discovery: Conflict Resolution with Answer Set Programming

    Hyttinen, A., Eberhardt, F. & Järvisalo, M. 2014 p. 340-349 10 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  50. Optimal Neighborhood Preserving Visualization by Maximum Satisfiability

    Bunte, K., Järvisalo, M., Berg, O., Myllymäki, P., Peltonen, J. & Kaski, S. 2014 p. 1694-1700 7 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  51. Predicting the Hardness of Learning Bayesian Networks

    Malone, B. M., Kangas, K., Järvisalo, M., Koivisto, M. & Myllymäki, P. 2014 p. 2460-2466 7 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  52. Conditional Lower Bounds for Failed Literals and Related Techniques

    Järvisalo, M. & Korhonen, J. H. 2014 p. 75-84 10 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  53. Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability

    Berg, J., Järvisalo, M. & Malone, B. 2014 In : JMRL : Workshop and Conference Proceedings. 33, p. 86-95 10 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  54. Weak models of distributed computing, with connections to modal logic

    Hella, L., Järvisalo, M., Kuusisto, A., Laurinharju, J., Lempiäinen, T., Luosto, K., Suomela, J. & Virtema, J. T. 2015 In : Distributed Computing. 28, 1, p. 31-53 23 p.

    Publication: Contribution to journalA1 Refereed journal article

  55. Covered Clause Elimination

    Heule, M., Järvisalo, M. & Biere, A. 2013 p. 41-46 6 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  56. Complexity-sensitive decision procedures for abstract argumentation

    Dvorak, W., Järvisalo, M., Wallner, J. P. & Woltran, S. 2014 In : Artificial Intelligence. 206, p. 53-78 26 p.

    Publication: Contribution to journalA1 Refereed journal article

  57. Optimal Correlation Clustering via MaxSAT

    Berg, J. & Järvisalo, M. 2013 p. 750-757 8 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  58. Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure

    Hyttinen, A., Hoyer, P., Ederhardt, F. & Järvisalo, M. 2013 p. 301-310 10 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  59. Proceedings of SAT Competition 2013: Solver and Benchmark Descriptions

    Balint, A. (ed.), Belov, A. (ed.), Heule, M. J. H. (ed.) & Järvisalo, M. (ed.) 2013 Helsinki: University of Helsinki. 128 p. (Department of Computer Science Series of Publications B; vol. B-2013-1)

    Publication: Book/anthologyC2 Edited book, compilation, conference proceeding or special issue of journal

  60. Harnessing Constraint Programming for Poetry Composition

    Toivanen, J., Järvisalo, M. & Toivonen, H. 2013 p. 160-167 8 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  61. Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 2013, Proceedings.

    Järvisalo, M. (ed.) & Van Gelder, A. (ed.) 2013 Springer-Verlag. 437 p. (Lecture Notes in Computer Science; vol. 7962)

    Publication: Book/anthologyC2 Edited book, compilation, conference proceeding or special issue of journal

  62. Revisiting Hyper Binary Resolution

    Heule, M., Järvisalo, M. & Biere, A. 2013 p. 77-93

    Publication: Conference contributionA4 Article in conference publication (refereed)

  63. Formula Preprocessing in MUS Extraction

    Belov, A., Järvisalo, M. & Marques-Silva, J. 2013 p. 108-123

    Publication: Conference contributionA4 Article in conference publication (refereed)

  64. Proceedings of SAT Challenge 2012: Solver and Benchmark Descriptions

    Balint, A. (ed.), Belov, A. (ed.), Diepold, D. (ed.), Gerber, S. (ed.), Järvisalo, M. (ed.) & Sinz, C. (ed.) 2012 Helsinki: University of Helsinki. 92 p. (Department of Computer Science Series of Publications B; vol. B-2012-2)

    Publication: Book/anthologyC2 Edited book, compilation, conference proceeding or special issue of journal

  65. CEGARTIX: A SAT-Based Argumentation System

    Dvorak, W., Järvisalo, M., Wallner, J. & Woltran, S. 2012

    Publication: Conference contributionA4 Article in conference publication (refereed)

  66. Relating Proof Complexity Measures and Practical Hardness of SAT

    Järvisalo, M., Matsliah, A., Nordström, J. & Zivny, S. 2012 p. 316-331 16 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  67. Weak models of distributed computing, with connections to modal logic

    Hella, L., Järvisalo, M., Kuusisto, A., Laurinharju, J., Lempiäinen, T., Luosto, K., Suomela, J. & Virtema, J. 2012 p. 185–194 10 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  68. Finding Efficient Circuits for Ensemble Computation

    Järvisalo, M., Kaski, P., Koivisto, M. & Korhonen, J. H. 2012 p. 369-382 14 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  69. Inprocessing Rules

    Järvisalo, M., Heule, M. & Biere, A. 2012 p. 355-370 16 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  70. Complexity-Sensitive Decision Procedures for Abstract Argumentation

    Dvorak, W., Järvisalo, M., Wallner, J. & Woltran, S. 2012 11 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  71. The International SAT Solver Competitions

    Järvisalo, M., Le Berre, D., Roussel, O. & Simon, L. 2012 In : AI Magazine. 33, 1, p. 89-92 4 p.

    Publication: Contribution to journalB1 Unrefereed journal article

  72. Simulating Circuit-Level Simplifications on CNF

    Järvisalo, M., Biere, A. & Heule, M. 2012 In : Journal of Automated Reasoning. 49, 4, p. 583-619

    Publication: Contribution to journalA1 Refereed journal article

  73. Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability

    Belov, A. & Järvisalo, M. 2011 p. 3-17 15 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  74. On the Relative Efficiency of DPLL and OBDDs with Axiom and Join

    Järvisalo, M. 2011 p. 429-437 9 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  75. Efficient CNF Simplification based on Binary Implication Graphs

    Heule, M. J. H., Järvisalo, M. & Biere, A. 2011 p. 201-215 15 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  76. Depth-Driven Circuit-Level Stochastic Local Search for SAT

    Belov, A., Järvisalo, M. & Stachniak, Z. 2011 p. 504-509 6 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  77. Itemset Mining as a Challenge Application for Answer Set Enumeration

    Järvisalo, M. 2011 p. 304-310 7 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  78. Clause Elimination Procedures for CNF Formulas

    Heule, M., Järvisalo, M. & Biere, A. 2010 p. 357-371 15 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  79. Reconstructing Solutions after Blocked Clause Elimination

    Järvisalo, M. & Biere, A. 2010 p. 340-345 6 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  80. Blocked Clause Elimination

    Järvisalo, M., Biere, A. & Heule, M. 2010 p. 129-144 15 p.

    Publication: Conference contributionA4 Article in conference publication (refereed)

  81. Depth-Based Local Search Heuristics for Boolean Circuit Satisfiability

    Belov, A. & Järvisalo, M. 2010 Helsinki, Finland: Helsinki Institute for Information Technology HIIT. 20 p. (HIIT Technical Reports; vol. 2010-2)

    Publication: Book/anthologyD4 Published development or research report

  82. Covered Clause Elimination

    Heule, M., Järvisalo, M. & Biere, A. 2010

    Publication: Conference contributionA4 Article in conference publication (refereed)

  83. Testing and Debugging Techniques for Answer Set Solver Development

    Brummayer, R. & Järvisalo, M. 2010 In : Theory and Practice of Logic Programming. 10, 4-6, p. 741-758 18 p.

    Publication: Contribution to journalA1 Refereed journal article