Filtrování publikací
-
JONÁŠ, Martin a Jan STREJČEK. Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions. Online. In Luca Pulina and Martina Seidl. Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. Cham (Switzerland): Springer, 2020, s. 378-393. ISBN 978-3-030-51824-0. Dostupné z: https://dx.doi.org/10.1007/978-3-030-51825-7_27.URL
RIV/00216224:14330/20:00114392 Stať ve sborníku. angličtina. Švýcarsko.
Jonáš, Martin (203 Česká republika) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: SMT solving; bit-vector logic; Boolector; Q3B
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 29. 4. 2021 12:29.Podrobněji: https://is.muni.cz/publication/1686869/cs -
JONÁŠ, Martin a Jan STREJČEK. Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors. Online. In Isil Dillig, Serdar Tasiran. CAV 2019: Computer Aided Verification. Cham (Switzerland): Springer, 2019, s. 64-73. ISBN 978-3-030-25542-8. Dostupné z: https://dx.doi.org/10.1007/978-3-030-25543-5_4.URL
RIV/00216224:14330/19:00107610 Stať ve sborníku. angličtina. Švýcarsko.
Jonáš, Martin (203 Česká republika, domácí) -- Strejček, Jan (203 Česká republika, garant, domácí)
Klíčová slova anglicky: satisfiability; satisfiability modulo theories; bit-vectors; quantifiers; tool
Druh sborníku: předkonferenční sborník
Mezinárodní význam: ano
Recenzováno: ano
Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 28. 4. 2020 07:44.Podrobněji: https://is.muni.cz/publication/1552339/cs
2020
2019
Zobrazeno: 5. 10. 2024 18:21