Matti Järvisalo
Contact Information
Examiner for exams
Teaching
2013 spring
-
In charge
2012 spring
-
Lecturer , in charge
2011 autumn
-
Lecturer , in charge
Publications
2012
Simulating Circuit-Level Simplifications on CNF
Järvisalo, M., Biere, A. & Heule, M. 2012 In : Journal of Automated Reasoning.Publication: Contribution to journal ⺠A1 Refereed journal article
The International SAT Solver Competitions
Järvisalo, M., Le Berre, D., Roussel, O. & Simon, L. 2012 In : AI Magazine.Publication: Contribution to journal ⺠B1 Unrefereed journal article
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 journal ⺠B1 Unrefereed journal article
2011
Depth-Driven Circuit-Level Stochastic Local Search for SAT
Belov, A., Järvisalo, M. & Stachniak, Z. 2011 p. 504-509. 6 p.Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
Efficient CNF Simplification based on Binary Implication Graphs
Heule, M. J., Järvisalo, M. & Biere, A. 2011 p. 201-215. 15 p.Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
Efficient CNF Simplification based on Binary Implication Graphs
Heule, M. J., Järvisalo, M. & Biere, A. 2011 p. 201-215. 15 p.Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
Itemset Mining as a Challenge Application for Answer Set Enumeration
Järvisalo, M. 2011 p. 304-310. 7 p.Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
Itemset Mining as a Challenge Application for Answer Set Enumeration
Järvisalo, M. 2011 p. 304-310. 7 p.Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
On the Relative Efficiency of DPLL and OBDDs with Axiom and Join
Järvisalo, M. 2011 p. 429-437. 9 p.Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
On the Relative Efficiency of DPLL and OBDDs with Axiom and Join
Järvisalo, M. 2011 p. 429-437. 9 p.Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability
Belov, A. & Järvisalo, M. 2011 p. 3-17. 15 p.Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability
Belov, A. & Järvisalo, M. 2011 p. 3-17. 15 p.Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
2010
Blocked Clause Elimination
Järvisalo, M., Biere, A. & Heule, M. 2010 p. 129-144. 15 p.Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
Blocked Clause Elimination
Järvisalo, M., Biere, A. & Heule, M. 2010 p. 129-144. 15 p.Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
Clause Elimination Procedures for CNF Formulas
Heule, M., Järvisalo, M. & Biere, A. 2010 p. 357-371. 15 p.Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
Clause Elimination Procedures for CNF Formulas
Heule, M., Järvisalo, M. & Biere, A. 2010 p. 357-371. 15 p.Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
Covered Clause Elimination
Heule, M., Järvisalo, M. & Biere, A. 2010Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
Covered Clause Elimination
Heule, M., Järvisalo, M. & Biere, A. 2010Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
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).Publication: Book/anthology ⺠D4 Published development or research report
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).Publication: Book/anthology ⺠D4 Published development or research report
Reconstructing Solutions after Blocked Clause Elimination
Järvisalo, M. & Biere, A. 2010 p. 340-345. 6 p.Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
Reconstructing Solutions after Blocked Clause Elimination
Järvisalo, M. & Biere, A. 2010 p. 340-345. 6 p.Publication: Conference contribution ⺠A4 Article in conference publication (refereed)
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 journal ⺠A1 Refereed journal article
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 journal ⺠A1 Refereed journal article
Address: Department of Computer Science, P.O. 68 (Gustaf Hällströmin katu 2b), FI-00014 UNIVERSITY OF HELSINKI, FINLAND
Opening Hours: During spring and autumn semesters Mon - Fri 7.45 - 19.45 (7.45 am - 7.45 pm)
Phone: +358 9 1911 (University switch)
General e-mai: info [at] cs.helsinki.fi
Fax: +358 9 1915 1120

