Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tommi A. Junttila
@incollection{DBLP:series/faia/DrechslerJN21,
author = {Rolf Drechsler and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Non-Clausal {SAT} and {ATPG}},
booktitle = {Handbook of Satisfiability - Second Edition},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {336},
pages = {1047--1086},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/FAIA201011},
doi = {10.3233/FAIA201011},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/faia/DrechslerJN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/JunttilaKKK20,
author = {Tommi A. Junttila and
Matti Karppa and
Petteri Kaski and
Jukka Kohonen},
title = {An adaptive prefix-assignment technique for symmetry reduction},
journal = {J. Symb. Comput.},
volume = {99},
pages = {21--49},
year = {2020},
url = {https://doi.org/10.1016/j.jsc.2019.03.002},
doi = {10.1016/J.JSC.2019.03.002},
timestamp = {Fri, 14 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/JunttilaKKK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/JunttilaKKK17,
author = {Tommi A. Junttila and
Matti Karppa and
Petteri Kaski and
Jukka Kohonen},
editor = {Serge Gaspers and
Toby Walsh},
title = {An Adaptive Prefix-Assignment Technique for Symmetry Reduction},
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 = {101--118},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66263-3\_7},
doi = {10.1007/978-3-319-66263-3\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/JunttilaKKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JunttilaKKK17,
author = {Tommi A. Junttila and
Matti Karppa and
Petteri Kaski and
Jukka Kohonen},
title = {An adaptive prefix-assignment technique for symmetry reduction},
journal = {CoRR},
volume = {abs/1706.08325},
year = {2017},
url = {http://arxiv.org/abs/1706.08325},
eprinttype = {arXiv},
eprint = {1706.08325},
timestamp = {Fri, 14 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JunttilaKKK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LaitinenJN14,
author = {Tero Laitinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
title = {Classifying and Propagating Parity Constraints (extended version)},
journal = {CoRR},
volume = {abs/1406.4698},
year = {2014},
url = {http://arxiv.org/abs/1406.4698},
eprinttype = {arXiv},
eprint = {1406.4698},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LaitinenJN14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LaitinenJN14a,
author = {Tero Laitinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
title = {Conflict-Driven XOR-Clause Learning (extended version)},
journal = {CoRR},
volume = {abs/1407.6571},
year = {2014},
url = {http://arxiv.org/abs/1407.6571},
eprinttype = {arXiv},
eprint = {1407.6571},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LaitinenJN14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KindermannJN13,
author = {Roland Kindermann and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Josep Carmona and
Mihai T. Lazarescu and
Marta Pietkiewicz{-}Koutny},
title = {Bounded Model Checking of an {MITL} Fragment for Timed Automata},
booktitle = {13th International Conference on Application of Concurrency to System
Design, {ACSD} 2013, Barcelona, Spain, 8-10 July, 2013},
pages = {216--225},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ACSD.2013.25},
doi = {10.1109/ACSD.2013.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/KindermannJN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/LaitinenJN13,
author = {Tero Laitinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Kenneth L. McMillan and
Aart Middeldorp and
Andrei Voronkov},
title = {Simulating Parity Reasoning},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
International Conference, LPAR-19, Stellenbosch, South Africa, December
14-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8312},
pages = {568--583},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45221-5\_38},
doi = {10.1007/978-3-642-45221-5\_38},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/LaitinenJN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-7209,
author = {Roland Kindermann and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
title = {Bounded Model Checking of an {MITL} Fragment for Timed Automata},
journal = {CoRR},
volume = {abs/1304.7209},
year = {2013},
url = {http://arxiv.org/abs/1304.7209},
eprinttype = {arXiv},
eprint = {1304.7209},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-7209.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LaitinenJN13,
author = {Tero Laitinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
title = {Simulating Parity Reasoning (extended version)},
journal = {CoRR},
volume = {abs/1311.4289},
year = {2013},
url = {http://arxiv.org/abs/1311.4289},
eprinttype = {arXiv},
eprint = {1311.4289},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LaitinenJN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DubrovinJH12,
author = {Jori Dubrovin and
Tommi A. Junttila and
Keijo Heljanko},
title = {Exploiting step semantics for efficient bounded model checking of
asynchronous systems},
journal = {Sci. Comput. Program.},
volume = {77},
number = {10-11},
pages = {1095--1121},
year = {2012},
url = {https://doi.org/10.1016/j.scico.2011.07.005},
doi = {10.1016/J.SCICO.2011.07.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/DubrovinJH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LaitinenJN12,
author = {Tero Laitinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Michela Milano},
title = {Classifying and Propagating Parity Constraints},
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 = {357--372},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33558-7\_28},
doi = {10.1007/978-3-642-33558-7\_28},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/LaitinenJN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KindermannJN12,
author = {Roland Kindermann and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {SMT-Based Induction Methods for Timed Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {171--187},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_13},
doi = {10.1007/978-3-642-33365-1\_13},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/KindermannJN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/KindermannJN12,
author = {Roland Kindermann and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Holger Giese and
Grigore Rosu},
title = {Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed
Automata},
booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7273},
pages = {84--100},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30793-5\_6},
doi = {10.1007/978-3-642-30793-5\_6},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/KindermannJN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LaitinenJN12,
author = {Tero Laitinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
title = {Extending Clause Learning {SAT} Solvers with Complete Parity Reasoning},
booktitle = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
{ICTAI} 2012, Athens, Greece, November 7-9, 2012},
pages = {65--72},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICTAI.2012.18},
doi = {10.1109/ICTAI.2012.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/LaitinenJN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LaitinenJN12,
author = {Tero Laitinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {Conflict-Driven XOR-Clause Learning},
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 = {383--396},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_29},
doi = {10.1007/978-3-642-31612-8\_29},
timestamp = {Sun, 02 Jun 2019 21:24:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LaitinenJN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-5639,
author = {Roland Kindermann and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
title = {SMT-based Induction Methods for Timed Systems},
journal = {CoRR},
volume = {abs/1204.5639},
year = {2012},
url = {http://arxiv.org/abs/1204.5639},
eprinttype = {arXiv},
eprint = {1204.5639},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-5639.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-0988,
author = {Tero Laitinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
title = {Extending Clause Learning {SAT} Solvers with Complete Parity Reasoning
(extended version)},
journal = {CoRR},
volume = {abs/1207.0988},
year = {2012},
url = {http://arxiv.org/abs/1207.0988},
eprinttype = {arXiv},
eprint = {1207.0988},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-0988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HyvarinenJN11,
author = {Antti Eero Johannes Hyv{\"{a}}rinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
title = {Partitioning Search Spaces of a Randomized Search},
journal = {Fundam. Informaticae},
volume = {107},
number = {2-3},
pages = {289--311},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-404},
doi = {10.3233/FI-2011-404},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HyvarinenJN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-cdt/LauniainenHJ11,
author = {Tuomas Launiainen and
Keijo Heljanko and
Tommi A. Junttila},
title = {Efficient model checking of {PSL} safety properties},
journal = {{IET} Comput. Digit. Tech.},
volume = {5},
number = {6},
pages = {479--492},
year = {2011},
url = {https://doi.org/10.1049/iet-cdt.2010.0154},
doi = {10.1049/IET-CDT.2010.0154},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-cdt/LauniainenHJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KindermannJN11,
author = {Roland Kindermann and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Beno{\^{\i}}t Caillaud and
Josep Carmona and
Kunihiko Hiraishi},
title = {Modeling for Symbolic Analysis of Safety Instrumented Systems with
Clocks},
booktitle = {11th International Conference on Application of Concurrency to System
Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
pages = {185--194},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ACSD.2011.29},
doi = {10.1109/ACSD.2011.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/KindermannJN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/HyvarinenJN11,
author = {Antti Eero Johannes Hyv{\"{a}}rinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Jimmy Ho{-}Man Lee},
title = {Grid-Based {SAT} Solving with Iterative Partitioning and Clause Learning},
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 = {385--399},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23786-7\_30},
doi = {10.1007/978-3-642-23786-7\_30},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/HyvarinenJN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LaitinenJN11,
author = {Tero Laitinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
title = {Equivalence Class Based Parity Reasoning with {DPLL(XOR)}},
booktitle = {{IEEE} 23rd International Conference on Tools with Artificial Intelligence,
{ICTAI} 2011, Boca Raton, FL, USA, November 7-9, 2011},
pages = {649--658},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICTAI.2011.103},
doi = {10.1109/ICTAI.2011.103},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/LaitinenJN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapas/JunttilaK11,
author = {Tommi A. Junttila and
Petteri Kaski},
editor = {Alberto Marchetti{-}Spaccamela and
Michael Segal},
title = {Conflict Propagation and Component Recursion for Canonical Labeling},
booktitle = {Theory and Practice of Algorithms in (Computer) Systems - First International
{ICST} Conference, {TAPAS} 2011, Rome, Italy, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6595},
pages = {151--162},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19754-3\_16},
doi = {10.1007/978-3-642-19754-3\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/tapas/JunttilaK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LauniainenHJ10,
author = {Tuomas Launiainen and
Keijo Heljanko and
Tommi A. Junttila},
editor = {Lu{\'{\i}}s Gomes and
Victor Khomenko and
Jo{\~{a}}o M. Fernandes},
title = {Efficient Model Checking of {PSL} Safety Properties},
booktitle = {10th International Conference on Application of Concurrency to System
Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
pages = {95--104},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ACSD.2010.27},
doi = {10.1109/ACSD.2010.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LauniainenHJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JunttilaK10,
author = {Tommi A. Junttila and
Petteri Kaski},
editor = {David Cohen},
title = {Exact Cover via Satisfiability: An Empirical Study},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
6-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6308},
pages = {297--304},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15396-9\_25},
doi = {10.1007/978-3-642-15396-9\_25},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/JunttilaK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LaitinenJN10,
author = {Tero Laitinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Extending Clause Learning {DPLL} with Parity Reasoning},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {21--26},
publisher = {{IOS} Press},
year = {2010},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17707},
timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LaitinenJN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HyvarinenJN10,
author = {Antti Eero Johannes Hyv{\"{a}}rinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Partitioning {SAT} Instances for Distributed Solving},
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 = {372--386},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_27},
doi = {10.1007/978-3-642-16242-8\_27},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/HyvarinenJN10.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}
}
@article{DBLP:journals/jsat/HyvarinenJN09,
author = {Antti Eero Johannes Hyv{\"{a}}rinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
title = {Incorporating Clause Learning in Grid-Based Randomized {SAT} Solving},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {6},
number = {4},
pages = {223--244},
year = {2009},
url = {https://doi.org/10.3233/sat190069},
doi = {10.3233/SAT190069},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/HyvarinenJN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/HyvarinenJN09,
author = {Antti Eero Johannes Hyv{\"{a}}rinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Roberto Serra and
Rita Cucchiara},
title = {Partitioning Search Spaces of a Randomized Search},
booktitle = {AI*IA 2009: Emergent Perspectives in Artificial Intelligence, XIth
International Conference of the Italian Association for Artificial
Intelligence, Reggio Emilia, Italy, December 9-12, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5883},
pages = {243--252},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10291-2\_25},
doi = {10.1007/978-3-642-10291-2\_25},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/HyvarinenJN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/CimattiDJR09,
author = {Alessandro Cimatti and
Jori Dubrovin and
Tommi A. Junttila and
Marco Roveri},
title = {Structure-aware computation of predicate abstraction},
booktitle = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
pages = {9--16},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/FMCAD.2009.5351149},
doi = {10.1109/FMCAD.2009.5351149},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/CimattiDJR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/faia/DrechslerJN09,
author = {Rolf Drechsler and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Non-Clausal {SAT} and {ATPG}},
booktitle = {Handbook of Satisfiability},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {185},
pages = {655--693},
publisher = {{IOS} Press},
year = {2009},
url = {https://doi.org/10.3233/978-1-58603-929-5-655},
doi = {10.3233/978-1-58603-929-5-655},
timestamp = {Fri, 06 May 2022 08:00:40 +0200},
biburl = {https://dblp.org/rec/series/faia/DrechslerJN09.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/acsd/DubrovinJ08,
author = {Jori Dubrovin and
Tommi A. Junttila},
editor = {Jonathan Billington and
Zhenhua Duan and
Maciej Koutny},
title = {Symbolic model checking of hierarchical {UML} state machines},
booktitle = {8th International Conference on Application of Concurrency to System
Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
pages = {108--117},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ACSD.2008.4574602},
doi = {10.1109/ACSD.2008.4574602},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/acsd/DubrovinJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/HyvarinenJN08,
author = {Antti Eero Johannes Hyv{\"{a}}rinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Danail Dochev and
Marco Pistore and
Paolo Traverso},
title = {Incorporating Learning in Grid-Based Randomized {SAT} Solving},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 13th
International Conference, {AIMSA} 2008, Varna, Bulgaria, September
4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5253},
pages = {247--261},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85776-1\_21},
doi = {10.1007/978-3-540-85776-1\_21},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/HyvarinenJN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/HyvarinenJN08,
author = {Antti Eero Johannes Hyv{\"{a}}rinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Serge Autexier and
John A. Campbell and
Julio Rubio and
Volker Sorge and
Masakazu Suzuki and
Freek Wiedijk},
title = {Strategies for Solving {SAT} in Grids by Randomized Search},
booktitle = {Intelligent Computer Mathematics, 9th International Conference, {AISC}
2008, 15th Symposium, Calculemus 2008, 7th International Conference,
{MKM} 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5144},
pages = {125--140},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85110-3\_11},
doi = {10.1007/978-3-540-85110-3\_11},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/HyvarinenJN08.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/fmoods/DubrovinJH08,
author = {Jori Dubrovin and
Tommi A. Junttila and
Keijo Heljanko},
editor = {Gilles Barthe and
Frank S. de Boer},
title = {Symbolic Step Encodings for Object Based Communicating State Machines},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
4-6, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5051},
pages = {96--112},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68863-1\_7},
doi = {10.1007/978-3-540-68863-1\_7},
timestamp = {Sat, 19 Oct 2019 20:16:59 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/DubrovinJH08.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}
}
@inproceedings{DBLP:conf/lpar/JunttilaD08,
author = {Tommi A. Junttila and
Jori Dubrovin},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Encoding Queues in Satisfiability Modulo Theories Based Bounded Model
Checking},
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 = {290--304},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_21},
doi = {10.1007/978-3-540-89439-1\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/JunttilaD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alenex/JunttilaK07,
author = {Tommi A. Junttila and
Petteri Kaski},
title = {Engineering an Efficient Canonical Labeling Tool for Large and Sparse
Graphs},
booktitle = {Proceedings of the Nine Workshop on Algorithm Engineering and Experiments,
{ALENEX} 2007, New Orleans, Louisiana, USA, January 6, 2007},
publisher = {{SIAM}},
year = {2007},
url = {https://doi.org/10.1137/1.9781611972870.13},
doi = {10.1137/1.9781611972870.13},
timestamp = {Mon, 28 Aug 2023 21:17:50 +0200},
biburl = {https://dblp.org/rec/conf/alenex/JunttilaK07.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}
}
@article{DBLP:journals/iandc/BozzanoBCJRRS06,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Silvio Ranise and
Peter van Rossum and
Roberto Sebastiani},
title = {Efficient theory combination via boolean search},
journal = {Inf. Comput.},
volume = {204},
number = {10},
pages = {1493--1525},
year = {2006},
url = {https://doi.org/10.1016/j.ic.2005.05.011},
doi = {10.1016/J.IC.2005.05.011},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BozzanoBCJRRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BiereHJLS06,
author = {Armin Biere and
Keijo Heljanko and
Tommi A. Junttila and
Timo Latvala and
Viktor Schuppan},
title = {Linear Encodings of Bounded {LTL} Model Checking},
journal = {Log. Methods Comput. Sci.},
volume = {2},
number = {5},
year = {2006},
url = {https://doi.org/10.2168/LMCS-2(5:5)2006},
doi = {10.2168/LMCS-2(5:5)2006},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BiereHJLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HeljankoJKLL06,
author = {Keijo Heljanko and
Tommi A. Junttila and
Misa Kein{\"{a}}nen and
Martin Lange and
Timo Latvala},
editor = {Thomas Ball and
Robert B. Jones},
title = {Bounded Model Checking for Weak Alternating B{\"{u}}chi Automata},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {95--108},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_12},
doi = {10.1007/11817963\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HeljankoJKLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HyvarinenJN06,
author = {Antti Eero Johannes Hyv{\"{a}}rinen and
Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {Armin Biere and
Carla P. Gomes},
title = {A Distribution Method for Solving {SAT} in Grids},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2006, 9th
International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4121},
pages = {430--435},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814948\_39},
doi = {10.1007/11814948\_39},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/HyvarinenJN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0611029,
author = {Armin Biere and
Keijo Heljanko and
Tommi A. Junttila and
Timo Latvala and
Viktor Schuppan},
title = {Linear Encodings of Bounded {LTL} Model Checking},
journal = {CoRR},
volume = {abs/cs/0611029},
year = {2006},
url = {http://arxiv.org/abs/cs/0611029},
eprinttype = {arXiv},
eprint = {cs/0611029},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0611029.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}
}
@article{DBLP:journals/jar/BozzanoBCJRSS05,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Peter van Rossum and
Stephan Schulz and
Roberto Sebastiani},
title = {MathSAT: Tight Integration of {SAT} and Mathematical Decision Procedures},
journal = {J. Autom. Reason.},
volume = {35},
number = {1-3},
pages = {265--293},
year = {2005},
url = {https://doi.org/10.1007/s10817-005-9004-z},
doi = {10.1007/S10817-005-9004-Z},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BozzanoBCJRSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BozzanoBCJRSS05,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Peter van Rossum and
Stephan Schulz and
Roberto Sebastiani},
editor = {Robert Nieuwenhuis},
title = {The MathSAT 3 System},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {315--321},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_23},
doi = {10.1007/11532231\_23},
timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},
biburl = {https://dblp.org/rec/conf/cade/BozzanoBCJRSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HeljankoJL05,
author = {Keijo Heljanko and
Tommi A. Junttila and
Timo Latvala},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Incremental and Complete Bounded Model Checking for Full {PLTL}},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {98--111},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_10},
doi = {10.1007/11513988\_10},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HeljankoJL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BozzanoBCJRRS05,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Silvio Ranise and
Peter van Rossum and
Roberto Sebastiani},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Efficient Satisfiability Modulo Theories via Delayed Theory Combination},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {335--349},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_34},
doi = {10.1007/11513988\_34},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BozzanoBCJRRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BozzanoBCJRSS05,
author = {Marco Bozzano and
Roberto Bruttomesso and
Alessandro Cimatti and
Tommi A. Junttila and
Peter van Rossum and
Stephan Schulz and
Roberto Sebastiani},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {An Incremental and Layered Procedure for the Satisfiability of Linear
Arithmetic Logic},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {317--333},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_21},
doi = {10.1007/978-3-540-31980-1\_21},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BozzanoBCJRSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LatvalaBHJ05,
author = {Timo Latvala and
Armin Biere and
Keijo Heljanko and
Tommi A. Junttila},
editor = {Radhia Cousot},
title = {Simple Is Better: Efficient Bounded Model Checking for Past {LTL}},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 6th International
Conference, {VMCAI} 2005, Paris, France, January 17-19, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3385},
pages = {380--395},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30579-8\_25},
doi = {10.1007/978-3-540-30579-8\_25},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/LatvalaBHJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Junttila04,
author = {Tommi A. Junttila},
title = {New Orbit Algorithms for Data Symmetries},
booktitle = {4th International Conference on Application of Concurrency to System
Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada},
pages = {175--184},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CSD.2004.1309130},
doi = {10.1109/CSD.2004.1309130},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Junttila04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Junttila04,
author = {Tommi A. Junttila},
editor = {Jordi Cortadella and
Wolfgang Reisig},
title = {New Canonical Representative Marking Algorithms for Place/Transition-Nets},
booktitle = {Applications and Theory of Petri Nets 2004, 25th International Conference,
{ICATPN} 2004, Bologna, Italy, June 21-25, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3099},
pages = {258--277},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27793-4\_15},
doi = {10.1007/978-3-540-27793-4\_15},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Junttila04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/LatvalaBHJ04,
author = {Timo Latvala and
Armin Biere and
Keijo Heljanko and
Tommi A. Junttila},
editor = {Alan J. Hu and
Andrew K. Martin},
title = {Simple Bounded {LTL} Model Checking},
booktitle = {Formal Methods in Computer-Aided Design, 5th International Conference,
{FMCAD} 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3312},
pages = {186--200},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30494-4\_14},
doi = {10.1007/978-3-540-30494-4\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/LatvalaBHJ04.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}
}
@article{DBLP:journals/jucs/Junttila01,
author = {Tommi A. Junttila},
title = {Computational Complexity of the Place/Transition-Net Symmetry Reduction
Method},
journal = {J. Univers. Comput. Sci.},
volume = {7},
number = {4},
pages = {307--326},
year = {2001},
url = {https://doi.org/10.3217/jucs-007-04-0307},
doi = {10.3217/JUCS-007-04-0307},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Junttila01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/JunttilaN00,
author = {Tommi A. Junttila and
Ilkka Niemel{\"{a}}},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Towards an Efficient Tableau Method for Boolean Circuit Satisfiability
Checking},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {553--567},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_37},
doi = {10.1007/3-540-44957-4\_37},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/JunttilaN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Junttila99,
author = {Tommi A. Junttila},
title = {Finding Symmetries of Algebraic System Nets},
journal = {Fundam. Informaticae},
volume = {37},
number = {3},
pages = {269--289},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-37305},
doi = {10.3233/FI-1999-37305},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Junttila99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2023-10-01 22:29 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:
