Sage Journals: Discover world-class research

Open access

Research article

First published 2014-6

The 2014 SMT Competition

David R. Cok, David Déharbe, Tjark Weber

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2019-6

The SMT Competition 2015–2018

Tjark Weber, Sylvain Conchon, David Déharbe [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2012-5

Challenging SMT solvers to verify neural networks

Luca Pulina, Armando Tacchella

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2014-12

SMT Versus Genetic and OpenOpt Algorithms: Concrete Planning in the PlanICS Framework

Artur Niewiadomski, Jaroslaw Skaruz, Wojciech Penczek [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2016

Concrete Planning in Plan ICS Framework by Combining SMT with GEO and Simulated Annealing *

Artur Niewiadomski, Jaroslaw Skaruz, Piotr Switalski [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2024-09-20

A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets

Jaime Arias, Kyungmin Bae, Carlos Olarte [...]

Fundamenta Informaticae

Open access

Research article

First published 2019

Isolation,Characterization,and Genomic Analysis of Pseudomonas sp. Strain SMT-1,an Efficient Fluorene-Degrading Bacterium

Mulugeta Desta, Weiwei Wang, Lige Zhang [...]

Evolutionary Bioinformatics

Retricted access

Research article

First published 2014-12

SMT-Based Reachability Checking for Bounded Time Petri Nets

Agata Półrola, Piotr Cybula, Artur Męski

Fundamenta Informaticae

Retricted access

Research article

First published 2017-5-10

SMT-based Searching for k -quasi-optimal Runs in Weighted Timed Automata *

Bożena Woźna-Szcześniak, Agnieszka M. Zbrzezny, Andrzej Zbrzezny

Fundamenta Informaticae

Open access

Research article

First published 2014-6

Boolector 2.0

Aina Niemetz, Mathias Preiner, Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Search results