The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Martin Jonás" ( http://dblp.L3S.de/Authors/Martin_Jonás )

  Author page on DBLP  Author page in RDF  Community of Martin Jonás in ASPL-2

Publication years (Num. hits)
2016 (3) 2017 (4) 2018 (3) 2019 (1)
Publication types (Num. hits)
article(3) inproceedings(8)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 12 publication records. Showing 11 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Martin Jonás, Jan Strejcek Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors. Search on Bibsonomy CAV (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Jonás, Jan Strejcek On the complexity of the quantified bit-vector arithmetic with binary encoding. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Jonás, Jan Strejcek Is Satisfiability of Quantified Bit-Vector Formulas Stable Under Bit-Width Changes? (Experimental Paper). Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Martin Jonás, Jan Strejcek Abstraction of Bit-Vector Operations for BDD-Based SMT Solvers. Search on Bibsonomy ICTAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Mrázek, Martin Jonás, Jiri Barnat SMT Queries Decomposition and Caching in Semi-Symbolic Model Checking. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Martin Jonás, Jan Strejcek On Simplification of Formulas with Unconstrained Variables and Quantifiers. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jan Mrázek, Martin Jonás, Vladimír Still, Henrich Lauko, Jiri Barnat Optimizing and Caching SMT Queries in SymDIVINE - (Competition Contribution). Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marek Chalupa, Martina Vitovská, Martin Jonás, Jiri Slaby, Jan Strejcek Symbiotic 4: Beyond Reachability - (Competition Contribution). Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Jonás, Jan Strejcek On the Complexity of the Quantified Bit-Vector Arithmetic with Binary Encoded Bit-Widths. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Martin Jonás, Jan Strejcek Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marek Chalupa, Martin Jonás, Jiri Slaby, Jan Strejcek, Martina Vitovská Symbiotic 3: New Slicer and Error-Witness Generation - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license