default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Matti Järvisalo
@article{DBLP:journals/jair/IhalainenBJ24,
author = {Hannes Ihalainen and
Jeremias Berg and
Matti J{\"{a}}rvisalo},
title = {Unifying SAT-Based Approaches to Maximum Satisfiability Solving},
journal = {J. Artif. Intell. Res.},
volume = {80},
pages = {931--976},
year = {2024},
url = {https://doi.org/10.1613/jair.1.15986},
doi = {10.1613/JAIR.1.15986},
timestamp = {Mon, 29 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/IhalainenBJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/JabsBNJ24,
author = {Christoph Jabs and
Jeremias Berg and
Andreas Niskanen and
Matti J{\"{a}}rvisalo},
title = {From Single-Objective to Bi-Objective Maximum Satisfiability Solving},
journal = {J. Artif. Intell. Res.},
volume = {80},
pages = {1223--1269},
year = {2024},
url = {https://doi.org/10.1613/jair.1.15333},
doi = {10.1613/JAIR.1.15333},
timestamp = {Thu, 08 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/JabsBNJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HocquetteNJC24,
author = {C{\'{e}}line Hocquette and
Andreas Niskanen and
Matti J{\"{a}}rvisalo and
Andrew Cropper},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Learning {MDL} Logic Programs from Noisy Data},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {10553--10561},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i9.28925},
doi = {10.1609/AAAI.V38I9.28925},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HocquetteNJC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/JabsBJ24,
author = {Christoph Jabs and
Jeremias Berg and
Matti J{\"{a}}rvisalo},
editor = {Bistra Dilkina},
title = {Core Boosting in SAT-Based Multi-objective Optimization},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 21st International Conference, {CPAIOR} 2024,
Uppsala, Sweden, May 28-31, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14743},
pages = {1--19},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-60599-4\_1},
doi = {10.1007/978-3-031-60599-4\_1},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/JabsBJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcar/IhalainenOTBJMN24,
author = {Hannes Ihalainen and
Andy Oertel and
Yong Kiam Tan and
Jeremias Berg and
Matti J{\"{a}}rvisalo and
Magnus O. Myreen and
Jakob Nordstr{\"{o}}m},
editor = {Christoph Benzm{\"{u}}ller and
Marijn J. H. Heule and
Renate A. Schmidt},
title = {Certified MaxSAT Preprocessing},
booktitle = {Automated Reasoning - 12th International Joint Conference, {IJCAR}
2024, Nancy, France, July 3-6, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14739},
pages = {396--418},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-63498-7\_24},
doi = {10.1007/978-3-031-63498-7\_24},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcar/IhalainenOTBJMN24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-16215,
author = {C{\'{e}}line Hocquette and
Andreas Niskanen and
Rolf Morel and
Matti J{\"{a}}rvisalo and
Andrew Cropper},
title = {Learning big logical rules by joining small rules},
journal = {CoRR},
volume = {abs/2401.16215},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.16215},
doi = {10.48550/ARXIV.2401.16215},
eprinttype = {arXiv},
eprint = {2401.16215},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-16215.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-17316,
author = {Hannes Ihalainen and
Andy Oertel and
Yong Kiam Tan and
Jeremias Berg and
Matti J{\"{a}}rvisalo and
Jakob Nordstr{\"{o}}m},
title = {Certified MaxSAT Preprocessing},
journal = {CoRR},
volume = {abs/2404.17316},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.17316},
doi = {10.48550/ARXIV.2404.17316},
eprinttype = {arXiv},
eprint = {2404.17316},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-17316.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ConatiNJ23,
author = {Ari Conati and
Andreas Niskanen and
Matti J{\"{a}}rvisalo},
editor = {Noa Agmon and
Bo An and
Alessandro Ricci and
William Yeoh},
title = {SAT-based Judgment Aggregation},
booktitle = {Proceedings of the 2023 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2023, London, United Kingdom, 29 May
2023 - 2 June 2023},
pages = {1412--1420},
publisher = {{ACM}},
year = {2023},
url = {https://dl.acm.org/doi/10.5555/3545946.3598792},
doi = {10.5555/3545946.3598792},
timestamp = {Tue, 23 May 2023 14:27:14 +0200},
biburl = {https://dblp.org/rec/conf/atal/ConatiNJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JabsBIJ23,
author = {Christoph Jabs and
Jeremias Berg and
Hannes Ihalainen and
Matti J{\"{a}}rvisalo},
editor = {Roland H. C. Yap},
title = {Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization},
booktitle = {29th International Conference on Principles and Practice of Constraint
Programming, {CP} 2023, August 27-31, 2023, Toronto, Canada},
series = {LIPIcs},
volume = {280},
pages = {18:1--18:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CP.2023.18},
doi = {10.4230/LIPICS.CP.2023.18},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/JabsBIJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/IserBJ23,
author = {Markus Iser and
Jeremias Berg and
Matti J{\"{a}}rvisalo},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {Oracle-Based Local Search for Pseudo-Boolean Optimization},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {1124--1131},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230387},
doi = {10.3233/FAIA230387},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/IserBJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/NiskanenKTJ23,
author = {Andreas Niskanen and
Isabelle Kuhlmann and
Matthias Thimm and
Matti J{\"{a}}rvisalo},
editor = {Kobi Gal and
Ann Now{\'{e}} and
Grzegorz J. Nalepa and
Roy Fairstein and
Roxana Radulescu},
title = {MaxSAT-Based Inconsistency Measurement},
booktitle = {{ECAI} 2023 - 26th European Conference on Artificial Intelligence,
September 30 - October 4, 2023, Krak{\'{o}}w, Poland - Including
12th Conference on Prestigious Applications of Intelligent Systems
{(PAIS} 2023)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {372},
pages = {1779--1786},
publisher = {{IOS} Press},
year = {2023},
url = {https://doi.org/10.3233/FAIA230464},
doi = {10.3233/FAIA230464},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/NiskanenKTJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/IhalainenBJ23,
author = {Hannes Ihalainen and
Jeremias Berg and
Matti J{\"{a}}rvisalo},
title = {Unifying Core-Guided and Implicit Hitting Set Based Optimization},
booktitle = {Proceedings of the Thirty-Second International Joint Conference on
Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao,
SAR, China},
pages = {1935--1943},
publisher = {ijcai.org},
year = {2023},
url = {https://doi.org/10.24963/ijcai.2023/215},
doi = {10.24963/IJCAI.2023/215},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/IhalainenBJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/KuhlmannNJ23,
author = {Isabelle Kuhlmann and
Andreas Niskanen and
Matti J{\"{a}}rvisalo},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Computing MUS-Based Inconsistency Measures},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {745--755},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_50},
doi = {10.1007/978-3-031-43619-2\_50},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/KuhlmannNJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/JarvisaloLN23,
author = {Matti J{\"{a}}rvisalo and
Tuomo Lehtonen and
Andreas Niskanen},
editor = {Oana Cocarascu and
Sylvie Doutre and
Jean{-}Guy Mailly and
Antonio Rago},
title = {Design of {ICCMA} 2023, 5th International Competition on Computational
Models of Argumentation: {A} Preliminary Report (invited paper)},
booktitle = {Proceedings of the First International Workshop on Argumentation and
Applications co-located with 20th International Conference on Principles
of Knowledge Representation and Reasoning {(KR} 2023), Rhodes, Greece,
September 2-8, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3472},
pages = {4--10},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3472/invited1.pdf},
timestamp = {Tue, 05 Sep 2023 17:08:45 +0200},
biburl = {https://dblp.org/rec/conf/kr/JarvisaloLN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/OdekerkenLBWJ23,
author = {Daphne Odekerken and
Tuomo Lehtonen and
AnneMarie Borg and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Argumentative Reasoning in {ASPIC+} under Incomplete Information},
booktitle = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
pages = {531--541},
year = {2023},
url = {https://doi.org/10.24963/kr.2023/52},
doi = {10.24963/KR.2023/52},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/OdekerkenLBWJ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2023pos,
editor = {Matti J{\"{a}}rvisalo and
Daniel Le Berre},
title = {Proceedings of the 14th International Workshop on Pragmatics of {SAT}
co-located with the 26th International Conference on Theory and Applications
of Satisfiability Testing {(SAT} 2023), Alghero, Italy, July 4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3545},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3545},
urn = {urn:nbn:de:0074-3545-4},
timestamp = {Wed, 20 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/2023pos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-09393,
author = {C{\'{e}}line Hocquette and
Andreas Niskanen and
Matti J{\"{a}}rvisalo and
Andrew Cropper},
title = {Learning {MDL} logic programs from noisy data},
journal = {CoRR},
volume = {abs/2308.09393},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.09393},
doi = {10.48550/ARXIV.2308.09393},
eprinttype = {arXiv},
eprint = {2308.09393},
timestamp = {Fri, 25 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-09393.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-15819,
author = {Tuukka Korhonen and
Matti J{\"{a}}rvisalo},
title = {SharpSAT-TD in Model Counting Competitions 2021-2023},
journal = {CoRR},
volume = {abs/2308.15819},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.15819},
doi = {10.48550/ARXIV.2308.15819},
eprinttype = {arXiv},
eprint = {2308.15819},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15819.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/IhalainenBJ22,
author = {Hannes Ihalainen and
Jeremias Berg and
Matti J{\"{a}}rvisalo},
editor = {Jasmin Blanchette and
Laura Kov{\'{a}}cs and
Dirk Pattinson},
title = {Clause Redundancy and Preprocessing in Maximum Satisfiability},
booktitle = {Automated Reasoning - 11th International Joint Conference, {IJCAR}
2022, Haifa, Israel, August 8-10, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13385},
pages = {75--94},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-10769-6\_6},
doi = {10.1007/978-3-031-10769-6\_6},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/IhalainenBJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/LehtonenWJ22,
author = {Tuomo Lehtonen and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
editor = {Francesca Toni and
Sylwia Polberg and
Richard Booth and
Martin Caminada and
Hiroyuki Kido},
title = {Algorithms for Reasoning in a Default Logic Instantiation of Assumption-Based
Argumentation},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2022, Cardiff,
Wales, UK, 14-16 September 2022},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {353},
pages = {236--247},
publisher = {{IOS} Press},
year = {2022},
url = {https://doi.org/10.3233/FAIA220156},
doi = {10.3233/FAIA220156},
timestamp = {Mon, 31 Oct 2022 16:49:16 +0100},
biburl = {https://dblp.org/rec/conf/comma/LehtonenWJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LehtonenWJ22,
author = {Tuomo Lehtonen and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
editor = {Gabriele Kern{-}Isberner and
Gerhard Lakemeyer and
Thomas Meyer},
title = {Computing Stable Conclusions under the Weakest-Link Principle in the
{ASPIC+} Argumentation Formalism},
booktitle = {Proceedings of the 19th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2022, Haifa, Israel,
July 31 - August 5, 2022},
year = {2022},
url = {https://proceedings.kr.org/2022/22/},
timestamp = {Tue, 05 Sep 2023 14:47:29 +0200},
biburl = {https://dblp.org/rec/conf/kr/LehtonenWJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/NiskanenMBJ22,
author = {Andreas Niskanen and
Jere Mustonen and
Jeremias Berg and
Matti J{\"{a}}rvisalo},
editor = {Georg Gottlob and
Daniela Inclezan and
Marco Maratea},
title = {Computing Smallest MUSes of Quantified Boolean Formulas},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13416},
pages = {301--314},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15707-3\_23},
doi = {10.1007/978-3-031-15707-3\_23},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/NiskanenMBJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JabsBNJ22,
author = {Christoph Jabs and
Jeremias Berg and
Andreas Niskanen and
Matti J{\"{a}}rvisalo},
editor = {Kuldeep S. Meel and
Ofer Strichman},
title = {MaxSAT-Based Bi-Objective Boolean Optimization},
booktitle = {25th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {236},
pages = {12:1--12:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.SAT.2022.12},
doi = {10.4230/LIPICS.SAT.2022.12},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/JabsBNJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/0003BJ22,
author = {Pavel Smirnov and
Jeremias Berg and
Matti J{\"{a}}rvisalo},
editor = {Kuldeep S. Meel and
Ofer Strichman},
title = {Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean
Optimization},
booktitle = {25th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {236},
pages = {13:1--13:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.SAT.2022.13},
doi = {10.4230/LIPICS.SAT.2022.13},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/0003BJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/NiskanenBJ22,
author = {Andreas Niskanen and
Jeremias Berg and
Matti J{\"{a}}rvisalo},
editor = {Kuldeep S. Meel and
Ofer Strichman},
title = {Incremental Maximum Satisfiability},
booktitle = {25th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {236},
pages = {14:1--14:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.SAT.2022.14},
doi = {10.4230/LIPICS.SAT.2022.14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/NiskanenBJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaumeisterJNNR21,
author = {Dorothea Baumeister and
Matti J{\"{a}}rvisalo and
Daniel Neugebauer and
Andreas Niskanen and
J{\"{o}}rg Rothe},
title = {Acceptance in incomplete argumentation frameworks},
journal = {Artif. Intell.},
volume = {295},
pages = {103470},
year = {2021},
url = {https://doi.org/10.1016/j.artint.2021.103470},
doi = {10.1016/J.ARTINT.2021.103470},
timestamp = {Sun, 16 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BaumeisterJNNR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/FroleyksHIJS21,
author = {Nils Froleyks and
Marijn Heule and
Markus Iser and
Matti J{\"{a}}rvisalo and
Martin Suda},
title = {{SAT} Competition 2020},
journal = {Artif. Intell.},
volume = {301},
pages = {103572},
year = {2021},
url = {https://doi.org/10.1016/j.artint.2021.103572},
doi = {10.1016/J.ARTINT.2021.103572},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/FroleyksHIJS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/LehtonenWJ21,
author = {Tuomo Lehtonen and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
title = {Declarative Algorithms and Complexity Results for Assumption-Based
Argumentation},
journal = {J. Artif. Intell. Res.},
volume = {71},
pages = {265--318},
year = {2021},
url = {https://doi.org/10.1613/jair.1.12479},
doi = {10.1613/JAIR.1.12479},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/LehtonenWJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LehtonenWJ21,
author = {Tuomo Lehtonen and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
title = {Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based
Argumentation},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {717--734},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000296},
doi = {10.1017/S1471068421000296},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/LehtonenWJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KorhonenJ21,
author = {Tuukka Korhonen and
Matti J{\"{a}}rvisalo},
editor = {Laurent D. Michel},
title = {Integrating Tree Decompositions into Decision Heuristics of Propositional
Model Counters (Short Paper)},
booktitle = {27th International Conference on Principles and Practice of Constraint
Programming, {CP} 2021, Montpellier, France (Virtual Conference),
October 25-29, 2021},
series = {LIPIcs},
volume = {210},
pages = {8:1--8:11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CP.2021.8},
doi = {10.4230/LIPICS.CP.2021.8},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/KorhonenJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/IhalainenBJ21,
author = {Hannes Ihalainen and
Jeremias Berg and
Matti J{\"{a}}rvisalo},
editor = {Laurent D. Michel},
title = {Refined Core Relaxation for Core-Guided MaxSAT Solving},
booktitle = {27th International Conference on Principles and Practice of Constraint
Programming, {CP} 2021, Montpellier, France (Virtual Conference),
October 25-29, 2021},
series = {LIPIcs},
volume = {210},
pages = {28:1--28:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CP.2021.28},
doi = {10.4230/LIPICS.CP.2021.28},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/IhalainenBJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/NiskanenBJ21,
author = {Andreas Niskanen and
Jeremias Berg and
Matti J{\"{a}}rvisalo},
editor = {Laurent D. Michel},
title = {Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT
Under Changing Weights},
booktitle = {27th International Conference on Principles and Practice of Constraint
Programming, {CP} 2021, Montpellier, France (Virtual Conference),
October 25-29, 2021},
series = {LIPIcs},
volume = {210},
pages = {44:1--44:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CP.2021.44},
doi = {10.4230/LIPICS.CP.2021.44},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/NiskanenBJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SmirnovBJ21,
author = {Pavel Smirnov and
Jeremias Berg and
Matti J{\"{a}}rvisalo},
editor = {Laurent D. Michel},
title = {Pseudo-Boolean Optimization by Implicit Hitting Sets},
booktitle = {27th International Conference on Principles and Practice of Constraint
Programming, {CP} 2021, Montpellier, France (Virtual Conference),
October 25-29, 2021},
series = {LIPIcs},
volume = {210},
pages = {51:1--51:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CP.2021.51},
doi = {10.4230/LIPICS.CP.2021.51},
timestamp = {Thu, 04 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/SmirnovBJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/RantanenHJ21,
author = {Kari Rantanen and
Antti Hyttinen and
Matti J{\"{a}}rvisalo},
editor = {Cassio P. de Campos and
Marloes H. Maathuis and
Erik Quaeghebeur},
title = {Maximal ancestral graph structure learning via exact search},
booktitle = {Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial
Intelligence, {UAI} 2021, Virtual Event, 27-30 July 2021},
series = {Proceedings of Machine Learning Research},
volume = {161},
pages = {1237--1247},
publisher = {{AUAI} Press},
year = {2021},
url = {https://proceedings.mlr.press/v161/rantanen21a.html},
timestamp = {Fri, 17 Dec 2021 17:06:27 +0100},
biburl = {https://dblp.org/rec/conf/uai/RantanenHJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/BiereJK21,
author = {Armin Biere and
Matti J{\"{a}}rvisalo and
Benjamin Kiesl},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Preprocessing in {SAT} Solving},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {391--435},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA200992},
doi = {10.3233/FAIA200992},
timestamp = {Fri, 06 May 2022 08:03:54 +0200},
biburl = {https://dblp.org/rec/series/faia/BiereJK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/BacchusJM21,
author = {Fahiem Bacchus and
Matti J{\"{a}}rvisalo and
Ruben Martins},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Maximum Satisfiability},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {929--991},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201008},
doi = {10.3233/FAIA201008},
timestamp = {Mon, 17 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/BacchusJM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-04192,
author = {Tuomo Lehtonen and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
title = {Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based
Argumentation},
journal = {CoRR},
volume = {abs/2108.04192},
year = {2021},
url = {https://arxiv.org/abs/2108.04192},
eprinttype = {arXiv},
eprint = {2108.04192},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-04192.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/RantanenHJ20,
author = {Kari Rantanen and
Antti Hyttinen and
Matti J{\"{a}}rvisalo},
title = {Discovering causal graphs with cycles and latent confounders: An exact
branch-and-bound approach},
journal = {Int. J. Approx. Reason.},
volume = {117},
pages = {29--49},
year = {2020},
url = {https://doi.org/10.1016/j.ijar.2019.10.009},
doi = {10.1016/J.IJAR.2019.10.009},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/RantanenHJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KorhonenJ20,
author = {Tuukka Korhonen and
Matti J{\"{a}}rvisalo},
title = {Finding Most Compatible Phylogenetic Trees over Multi-State Characters},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {1544--1551},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i02.5514},
doi = {10.1609/AAAI.V34I02.5514},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KorhonenJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/NiskanenNJR20,
author = {Andreas Niskanen and
Daniel Neugebauer and
Matti J{\"{a}}rvisalo and
J{\"{o}}rg Rothe},
title = {Deciding Acceptance in Incomplete Argumentation Frameworks},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {2942--2949},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i03.5686},
doi = {10.1609/AAAI.V34I03.5686},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/NiskanenNJR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LeivoBJ20,
author = {Marcus Leivo and
Jeremias Berg and
Matti J{\"{a}}rvisalo},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Preprocessing in Incomplete MaxSAT Solving},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {347--354},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200112},
doi = {10.3233/FAIA200112},
timestamp = {Fri, 09 Apr 2021 18:50:05 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LeivoBJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/NiskanenJ20,
author = {Andreas Niskanen and
Matti J{\"{a}}rvisalo},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Strong Refinements for Hard Problems in Argumentation Dynamics},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {841--848},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200174},
doi = {10.3233/FAIA200174},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/NiskanenJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/NiskanenJ20a,
author = {Andreas Niskanen and
Matti J{\"{a}}rvisalo},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based
Approach},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {849--856},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200175},
doi = {10.3233/FAIA200175},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/NiskanenJ20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/RantanenHJ20,
author = {Kari Rantanen and
Antti Hyttinen and
Matti J{\"{a}}rvisalo},
editor = {Giuseppe De Giacomo and
Alejandro Catal{\'{a}} and
Bistra Dilkina and
Michela Milano and
Sen{\'{e}}n Barro and
Alberto Bugar{\'{\i}}n and
J{\'{e}}r{\^{o}}me Lang},
title = {Learning Chordal Markov Networks via Stochastic Local Search},
booktitle = {{ECAI} 2020 - 24th European Conference on Artificial Intelligence,
29 August-8 September 2020, Santiago de Compostela, Spain, August
29 - September 8, 2020 - Including 10th Conference on Prestigious
Applications of Artificial Intelligence {(PAIS} 2020)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {325},
pages = {2632--2639},
publisher = {{IOS} Press},
year = {2020},
url = {https://doi.org/10.3233/FAIA200400},
doi = {10.3233/FAIA200400},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/RantanenHJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NiskanenNJ20,
author = {Andreas Niskanen and
Daniel Neugebauer and
Matti J{\"{a}}rvisalo},
editor = {Christian Bessiere},
title = {Controllability of Control Argumentation Frameworks},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1855--1861},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/257},
doi = {10.24963/IJCAI.2020/257},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NiskanenNJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LehtonenWJ20,
author = {Tuomo Lehtonen and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {An Answer Set Programming Approach to Argumentative Reasoning in the
{ASPIC+} Framework},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {636--646},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/63},
doi = {10.24963/KR.2020/63},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/LehtonenWJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/NiskanenJ20,
author = {Andreas Niskanen and
Matti J{\"{a}}rvisalo},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {667--671},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/67},
doi = {10.24963/KR.2020/67},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/NiskanenJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/NiskanenJ20a,
author = {Andreas Niskanen and
Matti J{\"{a}}rvisalo},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {{\(\mathrm{\mu}\)}-toksia: An Efficient Abstract Argumentation Reasoner},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {800--804},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/82},
doi = {10.24963/KR.2020/82},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/NiskanenJ20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/SavelaOJ20,
author = {Jarkko Savela and
Emilia Oikarinen and
Matti J{\"{a}}rvisalo},
editor = {Elvira Albert and
Laura Kov{\'{a}}cs},
title = {Finding Periodic Apartments via Boolean Satisfiability and Orderly
Generation},
booktitle = {{LPAR} 2020: 23rd International Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27,
2020},
series = {EPiC Series in Computing},
volume = {73},
pages = {465--482},
publisher = {EasyChair},
year = {2020},
url = {https://doi.org/10.29007/k8jd},
doi = {10.29007/K8JD},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/SavelaOJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pgm/RantanenHJ20,
author = {Kari Rantanen and
Antti Hyttinen and
Matti J{\"{a}}rvisalo},
editor = {Manfred Jaeger and
Thomas Dyhre Nielsen},
title = {Learning Optimal Cyclic Causal Graphs from Interventional Data},
booktitle = {International Conference on Probabilistic Graphical Models, {PGM}
2020, 23-25 September 2020, Aalborg, Hotel Comwell Rebild Bakker,
Sk{\o}rping, Denmark},
series = {Proceedings of Machine Learning Research},
volume = {138},
pages = {365--376},
publisher = {{PMLR}},
year = {2020},
url = {http://proceedings.mlr.press/v138/rantanen20a.html},
timestamp = {Mon, 14 Jun 2021 10:33:30 +0200},
biburl = {https://dblp.org/rec/conf/pgm/RantanenHJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/connection/ToivanenJAVVT19,
author = {Jukka M. Toivanen and
Matti J{\"{a}}rvisalo and
Olli Alm and
Dan Ventura and
Martti Vainio and
Hannu Toivonen},
title = {Towards transformational creation of novel songs},
journal = {Connect. Sci.},
volume = {31},
number = {1},
pages = {4--32},
year = {2019},
url = {https://doi.org/10.1080/09540091.2018.1443320},
doi = {10.1080/09540091.2018.1443320},
timestamp = {Wed, 26 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/connection/ToivanenJAVVT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/NiskanenWJ19,
author = {Andreas Niskanen and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
title = {Synthesizing Argumentation Frameworks from Examples},
journal = {J. Artif. Intell. Res.},
volume = {66},
pages = {503--554},
year = {2019},
url = {https://doi.org/10.1613/jair.1.11758},
doi = {10.1613/JAIR.1.11758},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/NiskanenWJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jea/KorhonenBJ19,
author = {Tuukka Korhonen and
Jeremias Berg and
Matti J{\"{a}}rvisalo},
title = {Solving Graph Problems via Potential Maximal Cliques: An Experimental
Evaluation of the Bouchitt{\'{e}}-Todinca Algorithm},
journal = {{ACM} J. Exp. Algorithmics},
volume = {24},
number = {1},
pages = {1.9:1--1.9:19},
year = {2019},
url = {https://doi.org/10.1145/3301297},
doi = {10.1145/3301297},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jea/KorhonenBJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/BacchusJM19,
author = {Fahiem Bacchus and
Matti J{\"{a}}rvisalo and
Ruben Martins},
title = {MaxSAT Evaluation 2018: New Developments and Detailed Results},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {11},
number = {1},
pages = {99--131},
year = {2019},
url = {https://doi.org/10.3233/SAT190119},
doi = {10.3233/SAT190119},
timestamp = {Wed, 26 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsat/BacchusJM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/HeuleJS19,
author = {Marijn J. H. Heule and
Matti J{\"{a}}rvisalo and
Martin Suda},
title = {{SAT} Competition 2018},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {11},
number = {1},
pages = {133--154},
year = {2019},
url = {https://doi.org/10.3233/SAT190120},
doi = {10.3233/SAT190120},
timestamp = {Mon, 30 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/HeuleJS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LehtonenWJ19,
author = {Tuomo Lehtonen and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
title = {Reasoning over Assumption-Based Argumentation Frameworks via Direct
Answer Set Programming Encodings},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {2938--2945},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012938},
doi = {10.1609/AAAI.V33I01.33012938},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LehtonenWJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BliemJ19,
author = {Bernhard Bliem and
Matti J{\"{a}}rvisalo},
title = {Centrality Heuristics for Exact Model Counting},
booktitle = {31st {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2019, Portland, OR, USA, November 4-6, 2019},
pages = {59--63},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICTAI.2019.00017},
doi = {10.1109/ICTAI.2019.00017},
timestamp = {Thu, 20 Feb 2020 16:19:51 +0100},
biburl = {https://dblp.org/rec/conf/ictai/BliemJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KorhonenBJ19,
author = {Tuukka Korhonen and
Jeremias Berg and
Matti J{\"{a}}rvisalo},
editor = {Sarit Kraus},
title = {Enumerating Potential Maximal Cliques via {SAT} and {ASP}},
booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
2019},
pages = {1116--1122},
publisher = {ijcai.org},
year = {2019},
url = {https://doi.org/10.24963/ijcai.2019/156},
doi = {10.24963/IJCAI.2019/156},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/KorhonenBJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/DvorakJLNW19,
author = {Wolfgang Dvor{\'{a}}k and
Matti J{\"{a}}rvisalo and
Thomas Linsbichler and
Andreas Niskanen and
Stefan Woltran},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Preprocessing Argumentation Frameworks via Replacement Patterns},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {116--132},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_8},
doi = {10.1007/978-3-030-19570-0\_8},
timestamp = {Fri, 27 Mar 2020 08:53:33 +0100},
biburl = {https://dblp.org/rec/conf/jelia/DvorakJLNW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BergJ19,
author = {Jeremias Berg and
Matti J{\"{a}}rvisalo},
editor = {Francesco Calimeri and
Nicola Leone and
Marco Manna},
title = {Unifying Reasoning and Core-Guided Search for Maximum Satisfiability},
booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA}
2019, Rende, Italy, May 7-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {287--303},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19570-0\_19},
doi = {10.1007/978-3-030-19570-0\_19},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BergJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2018pos,
editor = {Daniel Le Berre and
Matti J{\"{a}}rvisalo},
title = {Proceedings of Pragmatics of {SAT} 2015, Austin, Texas, USA, September
23, 2015 / Pragmatics of {SAT} 2018, Oxford, UK, July 7, 2018},
series = {EPiC Series in Computing},
volume = {59},
publisher = {EasyChair},
year = {2019},
url = {https://easychair.org/publications/volume/POS-18},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2018pos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/MaloneKJKM18,
author = {Brandon M. Malone and
Kustaa Kangas and
Matti J{\"{a}}rvisalo and
Mikko Koivisto and
Petri Myllym{\"{a}}ki},
title = {Empirical hardness of finding optimal Bayesian network structures:
algorithm selection and runtime prediction},
journal = {Mach. Learn.},
volume = {107},
number = {1},
pages = {247--283},
year = {2018},
url = {https://doi.org/10.1007/s10994-017-5680-2},
doi = {10.1007/S10994-017-5680-2},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/MaloneKJKM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlvianoDJM18,
author = {Mario Alviano and
Carmine Dodaro and
Matti J{\"{a}}rvisalo and
Marco Maratea and
Alessandro Previti},
title = {Cautious reasoning in {ASP} via minimal models and unsatisfiable cores},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {319--336},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000145},
doi = {10.1017/S1471068418000145},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlvianoDJM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/PrevitiMJM18,
author = {Alessandro Previti and
Carlos Menc{\'{\i}}a and
Matti J{\"{a}}rvisalo and
Jo{\~{a}}o Marques{-}Silva},
editor = {Sheila A. McIlraith and
Kilian Q. Weinberger},
title = {Premise Set Caching for Enumerating Minimal Correction Subsets},
booktitle = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence,
(AAAI-18), the 30th innovative Applications of Artificial Intelligence
(IAAI-18), and the 8th {AAAI} Symposium on Educational Advances in
Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February
2-7, 2018},
pages = {6633--6640},
publisher = {{AAAI} Press},
year = {2018},
url = {https://doi.org/10.1609/aaai.v32i1.12213},
doi = {10.1609/AAAI.V32I1.12213},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/PrevitiMJM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/Jarvisalo18,
author = {Matti J{\"{a}}rvisalo},
editor = {Matthias Thimm and
Federico Cerutti and
Mauro Vallati},
title = {{SAT} for Argumentation},
booktitle = {Proceedings of the Second International Workshop on Systems and Algorithms
for Formal Argumentation {(SAFA} 2018) co-located with the 7th International
Conference on Computational Models of Argument {(COMMA} 2018), Warsaw,
Poland, September 11, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2171},
pages = {1--3},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2171/jarvisalo.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/comma/Jarvisalo18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comma/LehtonenNJ18,
author = {Tuomo Lehtonen and
Andreas Niskanen and
Matti J{\"{a}}rvisalo},
editor = {Sanjay Modgil and
Katarzyna Budzynska and
John Lawrence},
title = {SAT-Based Approaches to Adjusting, Repairing, and Computing Largest
Extensions of Argumentation Frameworks},
booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2018, Warsaw,
Poland, 12-14 September 2018},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {305},
pages = {193--204},
publisher = {{IOS} Press},
year = {2018},
url = {https://doi.org/10.3233/978-1-61499-906-5-193},
doi = {10.3233/978-1-61499-906-5-193},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/comma/LehtonenNJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BacchusHJS18,
author = {Fahiem Bacchus and
Antti Hyttinen and
Matti J{\"{a}}rvisalo and
Paul Saikko},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Reduced Cost Fixing for Maximum Satisfiability},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {5209--5213},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/723},
doi = {10.24963/IJCAI.2018/723},
timestamp = {Tue, 20 Aug 2019 16:19:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BacchusHJS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SaikkoDAJ18,
author = {Paul Saikko and
Carmine Dodaro and
Mario Alviano and
Matti J{\"{a}}rvisalo},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {A Hybrid Approach to Optimization in Answer Set Programming},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {32--41},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18021},
timestamp = {Tue, 09 Feb 2021 08:33:51 +0100},
biburl = {https://dblp.org/rec/conf/kr/SaikkoDAJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/NiskanenWJ18,
author = {Andreas Niskanen and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {Extension Enforcement under Grounded Semantics in Abstract Argumentation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {178--183},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18040},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/NiskanenWJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pgm/RantanenHJ18,
author = {Kari Rantanen and
Antti Hyttinen and
Matti J{\"{a}}rvisalo},
editor = {Milan Studen{\'{y}} and
V{\'{a}}clav Kratochv{\'{\i}}l},
title = {Learning Optimal Causal Graphs with Exact Search},
booktitle = {International Conference on Probabilistic Graphical Models, {PGM}
2018, 11-14 September 2018, Prague, Czech Republic},
series = {Proceedings of Machine Learning Research},
volume = {72},
pages = {344--355},
publisher = {{PMLR}},
year = {2018},
url = {http://proceedings.mlr.press/v72/rantanen18a.html},
timestamp = {Wed, 03 Apr 2019 18:17:22 +0200},
biburl = {https://dblp.org/rec/conf/pgm/RantanenHJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PrevitiJ18,
author = {Alessandro Previti and
Matti J{\"{a}}rvisalo},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {A preference-based approach to backbone computation with application
to argumentation},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {896--902},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167230},
doi = {10.1145/3167132.3167230},
timestamp = {Wed, 25 Sep 2019 18:12:13 +0200},
biburl = {https://dblp.org/rec/conf/sac/PrevitiJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BergHJ18,
author = {Jeremias Berg and
Antti Hyttinen and
Matti J{\"{a}}rvisalo},
editor = {Daniel Le Berre and
Matti J{\"{a}}rvisalo},
title = {Applications of MaxSAT in Data Analysis},
booktitle = {Proceedings of Pragmatics of {SAT} 2015, Austin, Texas, USA, September
23, 2015 / Pragmatics of {SAT} 2018, Oxford, UK, July 7, 2018},
series = {EPiC Series in Computing},
volume = {59},
pages = {50--64},
publisher = {EasyChair},
year = {2018},
url = {https://doi.org/10.29007/3qkh},
doi = {10.29007/3QKH},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BergHJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-08480,
author = {Mario Alviano and
Carmine Dodaro and
Matti J{\"{a}}rvisalo and
Marco Maratea and
Alessandro Previti},
title = {Cautious reasoning in {ASP} via minimal models and unsatisfiable cores},
journal = {CoRR},
volume = {abs/1804.08480},
year = {2018},
url = {http://arxiv.org/abs/1804.08480},
eprinttype = {arXiv},
eprint = {1804.08480},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-08480.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BergJ17,
author = {Jeremias Berg and
Matti J{\"{a}}rvisalo},
title = {Cost-optimal constrained correlation clustering via weighted partial
Maximum Satisfiability},
journal = {Artif. Intell.},
volume = {244},
pages = {110--142},
year = {2017},
url = {https://doi.org/10.1016/j.artint.2015.07.001},
doi = {10.1016/J.ARTINT.2015.07.001},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BergJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/HyttinenPJED17,
author = {Antti Hyttinen and
Sergey M. Plis and
Matti J{\"{a}}rvisalo and
Frederick Eberhardt and
David Danks},
title = {A constraint optimization approach to causal discovery from subsampled
time series data},
journal = {Int. J. Approx. Reason.},
volume = {90},
pages = {208--225},
year = {2017},
url = {https://doi.org/10.1016/j.ijar.2017.07.009},
doi = {10.1016/J.IJAR.2017.07.009},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijar/HyttinenPJED17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/CussensJKB17,
author = {James Cussens and
Matti J{\"{a}}rvisalo and
Janne H. Korhonen and
Mark Bartlett},
title = {Bayesian Network Structure Learning with Integer Programming: Polytopes,
Facets and Complexity},
journal = {J. Artif. Intell. Res.},
volume = {58},
pages = {185--229},
year = {2017},
url = {https://doi.org/10.1613/jair.5203},
doi = {10.1613/JAIR.5203},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/CussensJKB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/WallnerNJ17,
author = {Johannes Peter Wallner and
Andreas Niskanen and
Matti J{\"{a}}rvisalo},
title = {Complexity Results and Algorithms for Extension Enforcement in Abstract
Argumentation},
journal = {J. Artif. Intell. Res.},
volume = {60},
pages = {1--40},
year = {2017},
url = {https://doi.org/10.1613/jair.5415},
doi = {10.1613/JAIR.5415},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/WallnerNJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BalyoHJ17,
author = {Tom{\'{a}}s Balyo and
Marijn J. H. Heule and
Matti J{\"{a}}rvisalo},
editor = {Satinder Singh and
Shaul Markovitch},
title = {{SAT} Competition 2016: Recent Developments},
booktitle = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
February 4-9, 2017, San Francisco, California, {USA}},
pages = {5061--5063},
publisher = {{AAAI} Press},
year = {2017},
url = {https://doi.org/10.1609/aaai.v31i1.10641},
doi = {10.1609/AAAI.V31I1.10641},
timestamp = {Mon, 04 Sep 2023 14:40:32 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BalyoHJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BergOJP17,
author = {Jeremias Berg and
Emilia Oikarinen and
Matti J{\"{a}}rvisalo and
Kai Puolam{\"{a}}ki},
editor = {J. Christopher Beck},
title = {Minimum-Width Confidence Bands via Constraint Optimization},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {443--459},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_29},
doi = {10.1007/978-3-319-66158-2\_29},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/BergOJP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BacchusHJS17,
author = {Fahiem Bacchus and
Antti Hyttinen and
Matti J{\"{a}}rvisalo and
Paul Saikko},
editor = {J. Christopher Beck},
title = {Reduced Cost Fixing in MaxSAT},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {641--651},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_41},
doi = {10.1007/978-3-319-66158-2\_41},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/BacchusHJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BergJ17,
author = {Jeremias Berg and
Matti J{\"{a}}rvisalo},
editor = {J. Christopher Beck},
title = {Weight-Aware Core Extraction in SAT-Based MaxSAT Solving},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {652--670},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_42},
doi = {10.1007/978-3-319-66158-2\_42},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/BergJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/LehtonenWJ17,
author = {Tuomo Lehtonen and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
editor = {Alessandro Antonucci and
Laurence Cholvy and
Odile Papini},
title = {From Structured to Abstract Argumentation: Assumption-Based Acceptance
via {AF} Reasoning},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
- 14th European Conference, {ECSQARU} 2017, Lugano, Switzerland, July
10-14, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10369},
pages = {57--68},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61581-3\_6},
doi = {10.1007/978-3-319-61581-3\_6},
timestamp = {Tue, 19 Jan 2021 13:09:19 +0100},
biburl = {https://dblp.org/rec/conf/ecsqaru/LehtonenWJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/PrevitiIJM17,
author = {Alessandro Previti and
Alexey Ignatiev and
Matti J{\"{a}}rvisalo and
Jo{\~{a}}o Marques{-}Silva},
title = {On Computing Generalized Backbones},
booktitle = {29th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2017, Boston, MA, USA, November 6-8, 2017},
pages = {1050--1056},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICTAI.2017.00161},
doi = {10.1109/ICTAI.2017.00161},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/PrevitiIJM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/HyttinenSJ17,
author = {Antti Hyttinen and
Paul Saikko and
Matti J{\"{a}}rvisalo},
editor = {Carles Sierra},
title = {A Core-Guided Approach to Learning Optimal Causal Graphs},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {645--651},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/90},
doi = {10.24963/IJCAI.2017/90},
timestamp = {Tue, 20 Aug 2019 16:16:54 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/HyttinenSJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/CussensJKB17,
author = {James Cussens and
Matti J{\"{a}}rvisalo and
Janne H. Korhonen and
Mark Bartlett},
editor = {Carles Sierra},
title = {Bayesian Network Structure Learning with Integer Programming: Polytopes,
Facets and Complexity (Extended Abstract)},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {4990--4994},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/708},
doi = {10.24963/IJCAI.2017/708},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/CussensJKB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/RantanenHJ17,
author = {Kari Rantanen and
Antti Hyttinen and
Matti J{\"{a}}rvisalo},
editor = {Isabelle Guyon and
Ulrike von Luxburg and
Samy Bengio and
Hanna M. Wallach and
Rob Fergus and
S. V. N. Vishwanathan and
Roman Garnett},
title = {Learning Chordal Markov Networks via Branch and Bound},
booktitle = {Advances in Neural Information Processing Systems 30: Annual Conference
on Neural Information Processing Systems 2017, December 4-9, 2017,
Long Beach, CA, {USA}},
pages = {1847--1857},
year = {2017},
url = {https://proceedings.neurips.cc/paper/2017/hash/e22312179bf43e61576081a2f250f845-Abstract.html},
timestamp = {Thu, 21 Jan 2021 13:58:27 +0100},
biburl = {https://dblp.org/rec/conf/nips/RantanenHJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/PrevitiMJM17,
author = {Alessandro Previti and
Carlos Menc{\'{\i}}a and
Matti J{\"{a}}rvisalo and
Jo{\~{a}}o Marques{-}Silva},
editor = {Serge Gaspers and
Toby Walsh},
title = {Improving {MCS} Enumeration via Caching},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th
International Conference, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10491},
pages = {184--194},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66263-3\_12},
doi = {10.1007/978-3-319-66263-3\_12},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sat/PrevitiMJM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/KorhonenBSJ17,
author = {Tuukka Korhonen and
Jeremias Berg and
Paul Saikko and
Matti J{\"{a}}rvisalo},
editor = {Serge Gaspers and
Toby Walsh},
title = {MaxPre: An Extended MaxSAT Preprocessor},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2017 - 20th
International Conference, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10491},
pages = {449--456},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66263-3\_28},
doi = {10.1007/978-3-319-66263-3\_28},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/KorhonenBSJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oasc/MaloneKJKM17,
author = {Brandon M. Malone and
Kustaa Kangas and
Matti J{\"{a}}rvisalo and
Mikko Koivisto and
Petri Myllym{\"{a}}ki},
title = {{AS-ASL:} Algorithm Selection with Auto-sklearn},
booktitle = {Proceedings of the Open Algorithm Selection Challenge 2017, Brussels,
Belgium, September 11-12, 2017},
series = {Proceedings of Machine Learning Research},
volume = {79},
pages = {19--22},
publisher = {{PMLR}},
year = {2017},
url = {http://proceedings.mlr.press/v79/malone17a.html},
timestamp = {Wed, 03 Apr 2019 18:17:20 +0200},
biburl = {https://dblp.org/rec/conf/oasc/MaloneKJKM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DolevHJKLRSW16,
author = {Danny Dolev and
Keijo Heljanko and
Matti J{\"{a}}rvisalo and
Janne H. Korhonen and
Christoph Lenzen and
Joel Rybicki and
Jukka Suomela and
Siert Wieringa},
title = {Synchronous counting and computational algorithm design},
journal = {J. Comput. Syst. Sci.},
volume = {82},
number = {2},
pages = {310--332},
year = {2016},
url = {https://doi.org/10.1016/j.jcss.2015.09.002},
doi = {10.1016/J.JCSS.2015.09.002},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DolevHJKLRSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/FindGJKKK16,
author = {Magnus Find and
Mika G{\"{o}}{\"{o}}s and
Matti J{\"{a}}rvisalo and
Petteri Kaski and
Mikko Koivisto and
Janne H. Korhonen},
title = {Separating OR, SUM, and {XOR} circuits},
journal = {J. Comput. Syst. Sci.},
volume = {82},
number = {5},
pages = {793--801},
year = {2016},
url = {https://doi.org/10.1016/j.jcss.2016.01.001},
doi = {10.1016/J.JCSS.2016.01.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/FindGJKKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WallnerNJ16,
author = {Johannes Peter Wallner and
Andreas Niskanen and
Matti J{\"{a}}rvisalo},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Complexity Results and Algorithms for Extension Enforcement in Abstract
Argumentation},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {1088--1094},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10101},
doi = {10.1609/AAAI.V30I1.10101},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WallnerNJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BergJ16,
author = {Jeremias Berg and
Matti J{\"{a}}rvisalo},
editor = {Michel Rueher},
title = {Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving},
booktitle = {Principles and Practice of Constraint Programming - 22nd International
Conference, {CP} 2016, Toulouse, France, September 5-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9892},
pages = {66--85},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44953-1\_5},
doi = {10.1007/978-3-319-44953-1\_5},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/BergJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/NiskanenWJ16,
author = {Andreas Niskanen and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Synthesizing Argumentation Frameworks from Examples},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {551--559},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-551},
doi = {10.3233/978-1-61499-672-9-551},
timestamp = {Tue, 02 Nov 2021 15:59:05 +0100},
biburl = {https://dblp.org/rec/conf/ecai/NiskanenWJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BergSJ16,
author = {Jeremias Berg and
Paul Saikko and
Matti J{\"{a}}rvisalo},
editor = {Gal A. Kaminka and
Maria Fox and
Paolo Bouquet and
Eyke H{\"{u}}llermeier and
Virginia Dignum and
Frank Dignum and
Frank van Harmelen},
title = {Subsumed Label Elimination for Maximum Satisfiability},
booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence,
29 August-2 September 2016, The Hague, The Netherlands - Including
Prestigious Applications of Artificial Intelligence {(PAIS} 2016)},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {285},
pages = {630--638},
publisher = {{IOS} Press},
year = {2016},
url = {https://doi.org/10.3233/978-1-61499-672-9-630},
doi = {10.3233/978-1-61499-672-9-630},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/BergSJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NiskanenWJ16,
author = {Andreas Niskanen and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
editor = {Subbarao Kambhampati},
title = {Optimal Status Enforcement in Abstract Argumentation},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1216--1222},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/176},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/NiskanenWJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Jarvisalo16,
author = {Matti J{\"{a}}rvisalo},
editor = {Subbarao Kambhampati},
title = {Boolean Satifiability and Beyond: Algorithms, Analysis, and {AI} Applications},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {4066--4069},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/602},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Jarvisalo16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/NiskanenWJ16,
author = {Andreas Niskanen and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
editor = {Loizos Michael and
Antonis C. Kakas},
title = {Pakota: {A} System for Enforcement in Abstract Argumentation},
booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10021},
pages = {385--400},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48758-8\_25},
doi = {10.1007/978-3-319-48758-8\_25},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/NiskanenWJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SaikkoWJ16,
author = {Paul Saikko and
Johannes Peter Wallner and
Matti J{\"{a}}rvisalo},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Implicit Hitting Set Algorithms for Reasoning Beyond {NP}},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {104--113},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12812},
timestamp = {Tue, 09 Feb 2021 08:33:50 +0100},
biburl = {https://dblp.org/rec/conf/kr/SaikkoWJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pgm/HyttinenPJED16,
author = {Antti Hyttinen and
Sergey M. Plis and
Matti J{\"{a}}rvisalo and
Frederick Eberhardt and
David Danks},
editor = {Alessandro Antonucci and
Giorgio Corani and
Cassio Polpo de Campos},
title = {Causal Discovery from Subsampled Time Series Data by Constraint Optimization},
booktitle = {Probabilistic Graphical Models - Eighth International Conference,
{PGM} 2016, Lugano, Switzerland, September 6-9, 2016. Proceedings},
series = {{JMLR} Workshop and Conference Proceedings},
volume = {52},
pages = {216--227},
publisher = {JMLR.org},
year = {2016},
url = {http://proceedings.mlr.press/v52/hyttinen16.html},
timestamp = {Tue, 19 Jan 2021 13:09:20 +0100},
biburl = {https://dblp.org/rec/conf/pgm/HyttinenPJED16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/SaikkoBJ16,
author = {Paul Saikko and
Jeremias Berg and
Matti J{\"{a}}rvisalo},
editor = {Nadia Creignou and
Daniel Le Berre},
title = {{LMHS:} {A} {SAT-IP} Hybrid MaxSAT Solver},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9710},
pages = {539--546},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40970-2\_34},
doi = {10.1007/978-3-319-40970-2\_34},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/SaikkoBJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HyttinenPJED16,
author = {Antti Hyttinen and
Sergey M. Plis and
Matti J{\"{a}}rvisalo and
Frederick Eberhardt and
David Danks},
title = {Causal Discovery from Subsampled Time Series Data by Constraint Optimization},
journal = {CoRR},
volume = {abs/1602.07970},
year = {2016},
url = {http://arxiv.org/abs/1602.07970},
eprinttype = {arXiv},
eprint = {1602.07970},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HyttinenPJED16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CussensJKB16,
author = {James Cussens and
Matti J{\"{a}}rvisalo and
Janne H. Korhonen and
Mark Bartlett},
title = {Bayesian Network Structure Learning with Integer Programming: Polytopes,
Facets, and Complexity},
journal = {CoRR},
volume = {abs/1605.04071},
year = {2016},
url = {http://arxiv.org/abs/1605.04071},
eprinttype = {arXiv},
eprint = {1605.04071},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CussensJKB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BalintBJS15,
author = {Adrian Balint and
Anton Belov and
Matti J{\"{a}}rvisalo and
Carsten Sinz},
title = {Overview and analysis of the {SAT} Challenge 2012 solver competition},
journal = {Artif. Intell.},
volume = {223},
pages = {120--155},
year = {2015},
url = {https://doi.org/10.1016/j.artint.2015.01.002},
doi = {10.1016/J.ARTINT.2015.01.002},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BalintBJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/HellaJKLLLSV15,
author = {Lauri Hella and
Matti J{\"{a}}rvisalo and
Antti Kuusisto and
Juhana Laurinharju and
Tuomo Lempi{\"{a}}inen and
Kerkko Luosto and
Jukka Suomela and
Jonni Virtema},
title = {Weak models of distributed computing, with connections to modal logic},
journal = {Distributed Comput.},
volume = {28},
number = {1},
pages = {31--53},
year = {2015},
url = {https://doi.org/10.1007/s00446-013-0202-3},
doi = {10.1007/S00446-013-0202-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/HellaJKLLLSV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/HeuleJLSB15,
author = {Marijn Heule and
Matti J{\"{a}}rvisalo and
Florian Lonsing and
Martina Seidl and
Armin Biere},
title = {Clause Elimination for {SAT} and {QSAT}},
journal = {J. Artif. Intell. Res.},
volume = {53},
pages = {127--168},
year = {2015},
url = {https://doi.org/10.1613/jair.4694},
doi = {10.1613/JAIR.4694},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/HeuleJLSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/SaikkoMJ15,
author = {Paul Saikko and
Brandon M. Malone and
Matti J{\"{a}}rvisalo},
editor = {Laurent Michel},
title = {MaxSAT-Based Cutting Planes for Learning Graphical Models},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
- 12th International Conference, {CPAIOR} 2015, Barcelona, Spain,
May 18-22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9075},
pages = {347--356},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18008-3\_24},
doi = {10.1007/978-3-319-18008-3\_24},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/SaikkoMJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BergSJ15,
author = {Jeremias Berg and
Paul Saikko and
Matti J{\"{a}}rvisalo},
title = {Re-using Auxiliary Variables for MaxSAT Preprocessing},
booktitle = {27th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2015, Vietri sul Mare, Italy, November 9-11, 2015},
pages = {813--820},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICTAI.2015.120},
doi = {10.1109/ICTAI.2015.120},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/BergSJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BergSJ15,
author = {Jeremias Berg and
Paul Saikko and
Matti J{\"{a}}rvisalo},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {239--245},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/040},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BergSJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DvorakJWW15,
author = {Wolfgang Dvor{\'{a}}k and
Matti J{\"{a}}rvisalo and
Johannes Peter Wallner and
Stefan Woltran},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Complexity-Sensitive Decision Procedures for Abstract Argumentation
(Extended Abstract)},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {4173--4177},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/590},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DvorakJWW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/HyttinenEJ15,
author = {Antti Hyttinen and
Frederick Eberhardt and
Matti J{\"{a}}rvisalo},
editor = {Marina Meila and
Tom Heskes},
title = {Do-calculus when the True Graph Is Unknown},
booktitle = {Proceedings of the Thirty-First Conference on Uncertainty in Artificial
Intelligence, {UAI} 2015, July 12-16, 2015, Amsterdam, The Netherlands},
pages = {395--404},
publisher = {{AUAI} Press},
year = {2015},
url = {http://auai.org/uai2015/proceedings/papers/127.pdf},
timestamp = {Thu, 12 Mar 2020 11:31:09 +0100},
biburl = {https://dblp.org/rec/conf/uai/HyttinenEJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/MaloneJM15,
author = {Brandon M. Malone and
Matti J{\"{a}}rvisalo and
Petri Myllym{\"{a}}ki},
editor = {Marina Meila and
Tom Heskes},
title = {Impact of Learning Strategies on the Quality of Bayesian Networks:
An Empirical Evaluation},
booktitle = {Proceedings of the Thirty-First Conference on Uncertainty in Artificial
Intelligence, {UAI} 2015, July 12-16, 2015, Amsterdam, The Netherlands},
pages = {562--571},
publisher = {{AUAI} Press},
year = {2015},
url = {http://auai.org/uai2015/proceedings/papers/131.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/MaloneJM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/SonntagJPH15,
author = {Dag Sonntag and
Matti J{\"{a}}rvisalo and
Jos{\'{e}} M. Pe{\~{n}}a and
Antti Hyttinen},
editor = {Marina Meila and
Tom Heskes},
title = {Learning Optimal Chain Graphs with Answer Set Programming},
booktitle = {Proceedings of the Thirty-First Conference on Uncertainty in Artificial
Intelligence, {UAI} 2015, July 12-16, 2015, Amsterdam, The Netherlands},
pages = {822--831},
publisher = {{AUAI} Press},
year = {2015},
url = {http://auai.org/uai2015/proceedings/papers/189.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uai/SonntagJPH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/DvorakJWW14,
author = {Wolfgang Dvor{\'{a}}k and
Matti J{\"{a}}rvisalo and
Johannes Peter Wallner and
Stefan Woltran},
title = {Complexity-sensitive decision procedures for abstract argumentation},
journal = {Artif. Intell.},
volume = {206},
pages = {53--78},
year = {2014},
url = {https://doi.org/10.1016/j.artint.2013.10.001},
doi = {10.1016/J.ARTINT.2013.10.001},
timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/DvorakJWW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BunteJBMPK14,
author = {Kerstin Bunte and
Matti J{\"{a}}rvisalo and
Jeremias Berg and
Petri Myllym{\"{a}}ki and
Jaakko Peltonen and
Samuel Kaski},
editor = {Carla E. Brodley and
Peter Stone},
title = {Optimal Neighborhood Preserving Visualization by Maximum Satisfiability},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {1694--1700},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.8974},
doi = {10.1609/AAAI.V28I1.8974},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BunteJBMPK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MaloneKJKM14,
author = {Brandon M. Malone and
Kustaa Kangas and
Matti J{\"{a}}rvisalo and
Mikko Koivisto and
Petri Myllym{\"{a}}ki},
editor = {Carla E. Brodley and
Peter Stone},
title = {Predicting the Hardness of Learning Bayesian Networks},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2460--2466},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9075},
doi = {10.1609/AAAI.V28I1.9075},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MaloneKJKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aistats/BergJM14,
author = {Jeremias Berg and
Matti J{\"{a}}rvisalo and
Brandon M. Malone},
title = {Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability},
booktitle = {Proceedings of the Seventeenth International Conference on Artificial
Intelligence and Statistics, {AISTATS} 2014, Reykjavik, Iceland, April
22-25, 2014},
series = {{JMLR} Workshop and Conference Proceedings},
volume = {33},
pages = {86--95},
publisher = {JMLR.org},
year = {2014},
url = {http://proceedings.mlr.press/v33/berg14.html},
timestamp = {Wed, 29 May 2019 08:41:44 +0200},
biburl = {https://dblp.org/rec/conf/aistats/BergJM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/BergJ14,
author = {Jeremias Berg and
Matti J{\"{a}}rvisalo},
title = {SAT-Based Approaches to Treewidth Computation: An Evaluation},
booktitle = {26th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2014, Limassol, Cyprus, November 10-12, 2014},
pages = {328--335},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICTAI.2014.57},
doi = {10.1109/ICTAI.2014.57},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/BergJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/OikarinenJ14,
author = {Emilia Oikarinen and
Matti J{\"{a}}rvisalo},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {Answer Set Solver Backdoors},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {674--683},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_51},
doi = {10.1007/978-3-319-11558-0\_51},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/jelia/OikarinenJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JarvisaloK14,
author = {Matti J{\"{a}}rvisalo and
Janne H. Korhonen},
editor = {Carsten Sinz and
Uwe Egly},
title = {Conditional Lower Bounds for Failed Literals and Related Techniques},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2014 - 17th
International Conference, Held as Part of the Vienna Summer of Logic,
{VSL} 2014, Vienna, Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8561},
pages = {75--84},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09284-3\_7},
doi = {10.1007/978-3-319-09284-3\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/JarvisaloK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/HyttinenEJ14,
author = {Antti Hyttinen and
Frederick Eberhardt and
Matti J{\"{a}}rvisalo},
editor = {Nevin L. Zhang and
Jin Tian},
title = {Constraint-based Causal Discovery: Conflict Resolution with Answer
Set Programming},
booktitle = {Proceedings of the Thirtieth Conference on Uncertainty in Artificial
Intelligence, {UAI} 2014, Quebec City, Quebec, Canada, July 23-27,
2014},
pages = {340--349},
publisher = {{AUAI} Press},
year = {2014},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=2469\&\#38;proceeding\_id=30},
timestamp = {Wed, 03 Feb 2021 11:09:27 +0100},
biburl = {https://dblp.org/rec/conf/uai/HyttinenEJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HeuleJB13,
author = {Marijn Heule and
Matti J{\"{a}}rvisalo and
Armin Biere},
editor = {Carla P. Gomes and
Meinolf Sellmann},
title = {Revisiting Hyper Binary Resolution},
booktitle = {Integration of {AI} and {OR} Techniques in Constraint Programming
for Combinatorial Optimization Problems, 10th International Conference,
{CPAIOR} 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7874},
pages = {77--93},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38171-3\_6},
doi = {10.1007/978-3-642-38171-3\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/HeuleJB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icccrea/ToivanenJT13,
author = {Jukka M. Toivanen and
Matti J{\"{a}}rvisalo and
Hannu Toivonen},
editor = {Mary Lou Maher and
Tony Veale and
Rob Saunders and
Oliver Bown},
title = {Harnessing Constraint Programming for Poetry Composition},
booktitle = {Proceedings of the Fourth International Conference on Computational
Creativity, {ICCC} 2013, Sidney, Australia, June 12-14, 2013},
pages = {160--167},
publisher = {computationalcreativity.net},
year = {2013},
url = {http://www.computationalcreativity.net/iccc2013/download/iccc2013-toivanen-jarvisalo-toivonen.pdf},
timestamp = {Tue, 13 Sep 2022 21:45:40 +0200},
biburl = {https://dblp.org/rec/conf/icccrea/ToivanenJT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdm/BergJ13,
author = {Jeremias Berg and
Matti J{\"{a}}rvisalo},
editor = {Wei Ding and
Takashi Washio and
Hui Xiong and
George Karypis and
Bhavani Thuraisingham and
Diane J. Cook and
Xindong Wu},
title = {Optimal Correlation Clustering via MaxSAT},
booktitle = {13th {IEEE} International Conference on Data Mining Workshops, {ICDM}
Workshops, TX, USA, December 7-10, 2013},
pages = {750--757},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICDMW.2013.99},
doi = {10.1109/ICDMW.2013.99},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdm/BergJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BelovJM13,
author = {Anton Belov and
Matti J{\"{a}}rvisalo and
Jo{\~{a}}o Marques{-}Silva},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Formula Preprocessing in {MUS} Extraction},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {108--123},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_8},
doi = {10.1007/978-3-642-36742-7\_8},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/BelovJM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/HyttinenHEJ13,
author = {Antti Hyttinen and
Patrik O. Hoyer and
Frederick Eberhardt and
Matti J{\"{a}}rvisalo},
editor = {Ann E. Nicholson and
Padhraic Smyth},
title = {Discovering Cyclic Causal Models with Latent Variables: {A} General
SAT-Based Procedure},
booktitle = {Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial
Intelligence, {UAI} 2013, Bellevue, WA, USA, August 11-15, 2013},
publisher = {{AUAI} Press},
year = {2013},
url = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&\#38;smnu=2\&\#38;article\_id=2391\&\#38;proceeding\_id=29},
timestamp = {Fri, 16 Jul 2021 16:15:58 +0200},
biburl = {https://dblp.org/rec/conf/uai/HyttinenHEJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2013,
editor = {Matti J{\"{a}}rvisalo and
Allen Van Gelder},
title = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7962},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39071-5},
doi = {10.1007/978-3-642-39071-5},
isbn = {978-3-642-39070-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-0513,
author = {Magnus Find and
Mika G{\"{o}}{\"{o}}s and
Matti J{\"{a}}rvisalo and
Petteri Kaski and
Mikko Koivisto and
Janne H. Korhonen},
title = {Separating OR, SUM, and {XOR} Circuits},
journal = {CoRR},
volume = {abs/1304.0513},
year = {2013},
url = {http://arxiv.org/abs/1304.0513},
eprinttype = {arXiv},
eprint = {1304.0513},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-0513.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HyttinenHEJ13,
author = {Antti Hyttinen and
Patrik O. Hoyer and
Frederick Eberhardt and
Matti J{\"{a}}rvisalo},
title = {Discovering Cyclic Causal Models with Latent Variables: {A} General
SAT-Based Procedure},
journal = {CoRR},
volume = {abs/1309.6836},
year = {2013},
url = {http://arxiv.org/abs/1309.6836},
eprinttype = {arXiv},
eprint = {1309.6836},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HyttinenHEJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/JarvisaloBRS12,
author = {Matti J{\"{a}}rvisalo and
Daniel Le Berre and
Olivier Roussel and
Laurent Simon},
title = {The International {SAT} Solver Competitions},
journal = {{AI} Mag.},
volume = {33},
number = {1},
pages = {89--92},
year = {2012},
url = {https://doi.org/10.1609/aimag.v33i1.2395},
doi = {10.1609/AIMAG.V33I1.2395},
timestamp = {Thu, 30 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/JarvisaloBRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/JarvisaloBH12,
author = {Matti J{\"{a}}rvisalo and
Armin Biere and
Marijn Heule},
title = {Simulating Circuit-Level Simplifications on {CNF}},
journal = {J. Autom. Reason.},
volume = {49},
number = {4},
pages = {583--619},
year = {2012},
url = {https://doi.org/10.1007/s10817-011-9239-9},
doi = {10.1007/S10817-011-9239-9},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/JarvisaloBH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/JarvisaloHB12,
author = {Matti J{\"{a}}rvisalo and
Marijn Heule and
Armin Biere},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {Inprocessing Rules},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {355--370},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_28},
doi = {10.1007/978-3-642-31365-3\_28},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/JarvisaloHB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JarvisaloMNZ12,
author = {Matti J{\"{a}}rvisalo and
Arie Matsliah and
Jakob Nordstr{\"{o}}m and
Stanislav Zivn{\'{y}}},
editor = {Michela Milano},
title = {Relating Proof Complexity Measures and Practical Hardness of {SAT}},
booktitle = {Principles and Practice of Constraint Programming - 18th International
Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
8-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7514},
pages = {316--331},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33558-7\_25},
doi = {10.1007/978-3-642-33558-7\_25},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/JarvisaloMNZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DvorakJWW12,
author = {Wolfgang Dvor{\'{a}}k and
Matti J{\"{a}}rvisalo and
Johannes Peter Wallner and
Stefan Woltran},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Complexity-Sensitive Decision Procedures for Abstract Argumentation},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4508},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/DvorakJWW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/HellaJKLLLSV12,
author = {Lauri Hella and
Matti J{\"{a}}rvisalo and
Antti Kuusisto and
Juhana Laurinharju and
Tuomo Lempi{\"{a}}inen and
Kerkko Luosto and
Jukka Suomela and
Jonni Virtema},
editor = {Darek Kowalski and
Alessandro Panconesi},
title = {Weak models of distributed computing, with connections to modal logic},
booktitle = {{ACM} Symposium on Principles of Distributed Computing, {PODC} '12,
Funchal, Madeira, Portugal, July 16-18, 2012},
pages = {185--194},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2332432.2332466},
doi = {10.1145/2332432.2332466},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/HellaJKLLLSV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JarvisaloKKK12,
author = {Matti J{\"{a}}rvisalo and
Petteri Kaski and
Mikko Koivisto and
Janne H. Korhonen},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {Finding Efficient Circuits for Ensemble Computation},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
pages = {369--382},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_28},
doi = {10.1007/978-3-642-31612-8\_28},
timestamp = {Sun, 02 Jun 2019 21:24:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/JarvisaloKKK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-2051,
author = {Lauri Hella and
Matti J{\"{a}}rvisalo and
Antti Kuusisto and
Juhana Laurinharju and
Tuomo Lempi{\"{a}}inen and
Kerkko Luosto and
Jukka Suomela and
Jonni Virtema},
title = {Weak Models of Distributed Computing, with Connections to Modal Logic},
journal = {CoRR},
volume = {abs/1205.2051},
year = {2012},
url = {http://arxiv.org/abs/1205.2051},
eprinttype = {arXiv},
eprint = {1205.2051},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-2051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Jarvisalo11,
author = {Matti J{\"{a}}rvisalo},
editor = {Jimmy Ho{-}Man Lee},
title = {On the Relative Efficiency of {DPLL} and OBDDs with Axiom and Join},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
International Conference, {CP} 2011, Perugia, Italy, September 12-16,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6876},
pages = {429--437},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23786-7\_33},
doi = {10.1007/978-3-642-23786-7\_33},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Jarvisalo11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BelovJS11,
author = {Anton Belov and
Matti J{\"{a}}rvisalo and
Zbigniew Stachniak},
editor = {Toby Walsh},
title = {Depth-Driven Circuit-Level Stochastic Local Search for {SAT}},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {504--509},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-092},
doi = {10.5591/978-1-57735-516-8/IJCAI11-092},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BelovJS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Jarvisalo11,
author = {Matti J{\"{a}}rvisalo},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Itemset Mining as a Challenge Application for Answer Set Enumeration},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {304--310},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_35},
doi = {10.1007/978-3-642-20895-9\_35},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Jarvisalo11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HeuleJB11,
author = {Marijn Heule and
Matti J{\"{a}}rvisalo and
Armin Biere},
editor = {Karem A. Sakallah and
Laurent Simon},
title = {Efficient {CNF} Simplification Based on Binary Implication Graphs},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th
International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6695},
pages = {201--215},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21581-0\_17},
doi = {10.1007/978-3-642-21581-0\_17},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/HeuleJB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-2049,
author = {Anton Belov and
Matti J{\"{a}}rvisalo},
title = {Structure-Based Local Search Heuristics for Circuit-Level Boolean
Satisfiability},
journal = {CoRR},
volume = {abs/1109.2049},
year = {2011},
url = {http://arxiv.org/abs/1109.2049},
eprinttype = {arXiv},
eprint = {1109.2049},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-2049.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BrummayerJ10,
author = {Robert Brummayer and
Matti J{\"{a}}rvisalo},
title = {Testing and debugging techniques for answer set solver development},
journal = {Theory Pract. Log. Program.},
volume = {10},
number = {4-6},
pages = {741--758},
year = {2010},
url = {https://doi.org/10.1017/S1471068410000396},
doi = {10.1017/S1471068410000396},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BrummayerJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HeuleJB10a,
author = {Marijn Heule and
Matti J{\"{a}}rvisalo and
Armin Biere},
editor = {Andrei Voronkov and
Geoff Sutcliffe and
Matthias Baaz and
Christian G. Ferm{\"{u}}ller},
title = {Covered Clause Elimination},
booktitle = {Short papers for 17th International Conference on Logic for Programming,
Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta,
Indonesia, October 10-15, 2010},
series = {EPiC Series in Computing},
volume = {13},
pages = {41--46},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/cl8s},
doi = {10.29007/CL8S},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HeuleJB10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HeuleJB10,
author = {Marijn Heule and
Matti J{\"{a}}rvisalo and
Armin Biere},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Clause Elimination Procedures for {CNF} Formulas},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {357--371},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_26},
doi = {10.1007/978-3-642-16242-8\_26},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HeuleJB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JarvisaloB10,
author = {Matti J{\"{a}}rvisalo and
Armin Biere},
editor = {Ofer Strichman and
Stefan Szeider},
title = {Reconstructing Solutions after Blocked Clause Elimination},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2010, 13th
International Conference, {SAT} 2010, Edinburgh, UK, July 11-14, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6175},
pages = {340--345},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14186-7\_30},
doi = {10.1007/978-3-642-14186-7\_30},
timestamp = {Sat, 19 Oct 2019 20:28:15 +0200},
biburl = {https://dblp.org/rec/conf/sat/JarvisaloB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/JarvisaloBH10,
author = {Matti J{\"{a}}rvisalo and
Armin Biere and
Marijn Heule},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Blocked Clause Elimination},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {129--144},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_10},
doi = {10.1007/978-3-642-12002-2\_10},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/JarvisaloBH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-3223,
author = {Robert Brummayer and
Matti J{\"{a}}rvisalo},
title = {Testing and Debugging Techniques for Answer Set Solver Development},
journal = {CoRR},
volume = {abs/1007.3223},
year = {2010},
url = {http://arxiv.org/abs/1007.3223},
eprinttype = {arXiv},
eprint = {1007.3223},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-3223.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-5202,
author = {Marijn Heule and
Matti J{\"{a}}rvisalo and
Armin Biere},
title = {Covered Clause Elimination},
journal = {CoRR},
volume = {abs/1011.5202},
year = {2010},
url = {http://arxiv.org/abs/1011.5202},
eprinttype = {arXiv},
eprint = {1011.5202},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-5202.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/Jarvisalo09,
author = {Matti J{\"{a}}rvisalo},
title = {Structure-based satisfiability checkingAnalyzing and harnessing the
potential},
journal = {{AI} Commun.},
volume = {22},
number = {2},
pages = {117--119},
year = {2009},
url = {https://doi.org/10.3233/AIC-2009-0445},
doi = {10.3233/AIC-2009-0445},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/Jarvisalo09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/JarvisaloJ09,
author = {Matti J{\"{a}}rvisalo and
Tommi A. Junttila},
title = {Limitations of restricted branching in clause learning},
journal = {Constraints An Int. J.},
volume = {14},
number = {3},
pages = {325--356},
year = {2009},
url = {https://doi.org/10.1007/s10601-008-9062-z},
doi = {10.1007/S10601-008-9062-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/JarvisaloJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/JarvisaloOJN09,
author = {Matti J{\"{a}}rvisalo and
Emilia Oikarinen and
Tomi Janhunen and
Ilkka Niemel{\"{a}}},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {A Module-Based Framework for Multi-language Constraint Modeling},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {155--168},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_15},
doi = {10.1007/978-3-642-04238-6\_15},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/JarvisaloOJN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/OikarinenJ09,
author = {Emilia Oikarinen and
Matti J{\"{a}}rvisalo},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Max-ASP: Maximum Satisfiability of Answer Set Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {236--249},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_21},
doi = {10.1007/978-3-642-04238-6\_21},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/OikarinenJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Jarvisalo08,
author = {Matti J{\"{a}}rvisalo},
title = {Structure-based satisfiability checking : analyzing and harnessing
the potential},
school = {Helsinki University of Technology, Finland},
year = {2008},
url = {https://aaltodoc.aalto.fi/handle/123456789/4551},
timestamp = {Thu, 30 Mar 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Jarvisalo08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/JarvisaloN08,
author = {Matti J{\"{a}}rvisalo and
Ilkka Niemel{\"{a}}},
title = {The effect of structural branching on the efficiency of clause learning
{SAT} solving: An experimental study},
journal = {J. Algorithms},
volume = {63},
number = {1-3},
pages = {90--113},
year = {2008},
url = {https://doi.org/10.1016/j.jalgor.2008.02.005},
doi = {10.1016/J.JALGOR.2008.02.005},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/JarvisaloN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/JarvisaloO08,
author = {Matti J{\"{a}}rvisalo and
Emilia Oikarinen},
title = {Extended {ASP} Tableaux and rule redundancy in normal logic programs},
journal = {Theory Pract. Log. Program.},
volume = {8},
number = {5-6},
pages = {691--716},
year = {2008},
url = {https://doi.org/10.1017/S1471068408003578},
doi = {10.1017/S1471068408003578},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/JarvisaloO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/JarvisaloJ08,
author = {Matti J{\"{a}}rvisalo and
Tommi A. Junttila},
editor = {Dieter Fox and
Carla P. Gomes},
title = {On the Power of Top-Down Branching Heuristics},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {304--309},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-048.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/JarvisaloJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/JarvisaloJN08,
author = {Matti J{\"{a}}rvisalo and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Justification-Based Non-Clausal Local Search for {SAT}},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {535--539},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-535},
doi = {10.3233/978-1-58603-891-5-535},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/JarvisaloJN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/JarvisaloJN08,
author = {Matti J{\"{a}}rvisalo and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Justification-Based Local Search with Adaptive Noise Strategies},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {31--46},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_3},
doi = {10.1007/978-3-540-89439-1\_3},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/JarvisaloJN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-3204,
author = {Matti J{\"{a}}rvisalo and
Emilia Oikarinen},
title = {Extended {ASP} tableaux and rule redundancy in normal logic programs},
journal = {CoRR},
volume = {abs/0809.3204},
year = {2008},
url = {http://arxiv.org/abs/0809.3204},
eprinttype = {arXiv},
eprint = {0809.3204},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0809-3204.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JarvisaloJ07,
author = {Matti J{\"{a}}rvisalo and
Tommi A. Junttila},
editor = {Christian Bessiere},
title = {Limitations of Restricted Branching in Clause Learning},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {348--363},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_26},
doi = {10.1007/978-3-540-74970-7\_26},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/JarvisaloJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/JarvisaloO07,
author = {Matti J{\"{a}}rvisalo and
Emilia Oikarinen},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Extended {ASP} Tableaux and Rule Redundancy in Normal Logic Programs},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {134--148},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_10},
doi = {10.1007/978-3-540-74610-2\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/JarvisaloO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/HaanpaaJKN06,
author = {Harri Haanp{\"{a}}{\"{a}} and
Matti J{\"{a}}rvisalo and
Petteri Kaski and
Ilkka Niemel{\"{a}}},
title = {Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning
Techniques},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {2},
number = {1-4},
pages = {27--46},
year = {2006},
url = {https://doi.org/10.3233/sat190015},
doi = {10.3233/SAT190015},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/HaanpaaJKN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Jarvisalo06,
author = {Matti J{\"{a}}rvisalo},
title = {Further Investigations into Regular {XORSAT}},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {1873--1874},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-315.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Jarvisalo06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/JarvisaloJN05,
author = {Matti J{\"{a}}rvisalo and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
title = {Unrestricted vs restricted cut in a tableau method for Boolean circuits},
journal = {Ann. Math. Artif. Intell.},
volume = {44},
number = {4},
pages = {373--399},
year = {2005},
url = {https://doi.org/10.1007/s10472-005-7034-1},
doi = {10.1007/S10472-005-7034-1},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/JarvisaloJN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/JarvisaloJN04,
author = {Matti J{\"{a}}rvisalo and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
title = {Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
AI{\&}M 2004, Fort Lauderdale, Florida, USA, January 4-6, 2004},
year = {2004},
url = {http://rutcor.rutgers.edu/\%7Eamai/aimath04/AcceptedPapers/Jarvisalo-aimath04.pdf},
timestamp = {Tue, 08 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/JarvisaloJN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-23 19:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
