Sage Journals: Discover world-class research

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

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

Open access

Research article

First published 2014-6

Boolector 2.0

Aina Niemetz, Mathias Preiner, Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2011-11

Generating and Searching Families of FFT Algorithms

Steve Haynal, Heidi Haynal

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2007-8

Lazy Satisfiability Modulo Theories

Roberto Sebastiani

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2012-5

Solving disjunctive temporal problems with preferences using maximum satisfiability

Marco Maratea, Luca Pulina

The European Journal on Artificial Intelligence

Free access

Research article

First published 2010-2

Formal Correctness Proof for DPLL Procedure

Filip Marić, Predrag Janičić

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2023-09

The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models

Boyan Yordanov, Sara-jane Dunn, Colin Gravill [...]

Journal of Computational Biology

Open access

Research article

First published 2012-2

A Practical Approach to Satisfiability Modulo Linear Integer Arithmetic

Alberto Griggio

Journal on Satisfiability,Boolean Modelling and Computation

Search results