J. Satisf. Boolean Model. Comput.

Keyphrases

Publications

volume 14, number 1, 2023

Evgeny Dantsin, Alexander Wolpert
An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF. J. Satisf. Boolean Model. Comput. 14 (1) (2023)
Francesco Leofante
OMTPlan: A Tool for Optimal Planning Modulo Theories. J. Satisf. Boolean Model. Comput. 14 (1) (2023)

volume 13, number 1, 2022

Stefan Mengel
No Efficient Disjunction or Conjunction of Switch-Lists. J. Satisf. Boolean Model. Comput. 13 (1) (2022)

volume 12, number 1, 2020

volume 11, number 1, 2019

volume 10, number 1, 2016

volume 9, number 1, 2014

volume 8, number 3/4, 2014

volume 8, number 1/2, 2012

volume 8, number 3/4, 2012

Anton Belov, João Marques-Silva
MUSer2: An Efficient MUS Extractor. J. Satisf. Boolean Model. Comput. 8 (3/4) (2012)
Allen Van Gelder
Contrasat - A Contrarian SAT Solver. J. Satisf. Boolean Model. Comput. 8 (3/4) (2012)

volume 7, number 4, 2011

volume 7, number 2-3, 2010

Federico Heras, David Bañeres
The Impact of Max-SAT Resolution-Based Preprocessors on Local Search Solvers. J. Satisf. Boolean Model. Comput. 7 (2-3) (2010)