Sage Journals: Discover world-class research

Open access

Research article

First published 2018-1-31

Abstract solvers for Dung’s argumentation frameworks

Remi Brochenin, Thomas Linsbichler, Marco Maratea [...]

Argument & Computation

Open access

Research article

First published 2010-2

HaifaSat : a SAT solver based on an Abstraction/Refinement model

Roman Gershman, Ofer Strichman

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2019-6

CAQE and QuAbS: Abstraction Based QBF Solvers

Leander Tentrup

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2025-10

pygarg: A Python engine for argumentation

Jean-Guy Mailly

Argument & Computation

Retricted access

Research article

First published 2021-5

Evaluating asynchronous Schwarz solvers on GPUs

Pratik Nayak, Terry Cojean, Hartwig Anzt

The International Journal of High Performance Computing Applications

Free access

Research article

First published 2007-5

A quick,three-dimensional tetra mesh-based simulation of the filling stage in injection moulding

W Y Cho, J K Nam, S M Yun [...]

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Open access

Research article

First published 2025-6

The third and fourth international competitions on computational models of argumentation: Design,results and analysis

Stefano Bistarelli, Lars Kotthoff, Jean-Marie Lagniez [...]

Argument & Computation

Open access

Research article

First published 2007-2

Disequality Management in Integer Difference Logic via Finite Instantiations 1

Hyondeuk Kim, Hoonsang Jin, Fabio Somenzi

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2018-03

A Median Solver and Phylogenetic Inference Based on Double-Cut-and-Join Sorting

Ruofan Xia, Yu Lin, Jun Zhou [...]

Journal of Computational Biology

Open access

Research article

First published 2007-2

SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic

Malay K. Ganai, Muralidhar Talupur, Aarti Gupta

Journal on Satisfiability,Boolean Modelling and Computation

Search results