Sage Journals: Discover world-class research

Retricted access

Research article

First published 2024-5

An implicit barotropic mode solver for MPAS-ocean using a modern Fortran solver interface

Hyun-Gyu Kang, Raymond S Tuminaro, Andrey Prokopenko [...]

The International Journal of High Performance Computing Applications

Open access

Research article

First published 2011-11

Reusing the Assignment Trail in CDCL Solvers

Peter van der Tak, Antonio Ramos, Marijn Heule

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2012-8

Contrasat – A Contrarian SAT Solver

Allen Van Gelder

Journal on Satisfiability,Boolean Modelling and Computation

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 2012-8

Sat4j 2.3.2: on the fly solver configuration

Daniel Le Berre, Stéphanie Roussel

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2012-2

QMaxSAT: A Partial Max-SAT Solver

Miyuki Koshimura, Tong Zhang, Hiroshi Fujita [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2011-11

Controlling a Solver Execution with the runsolver Tool

Olivier Roussel

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1999-8

An Open Automated Framework for Constraint Solver Extension: the SoleX Approach

Eric Monfroy, Christophe Ringeissen

Fundamenta Informaticae

Retricted access

Research article

First published 2014-2

Artificial Intelligence: From programs to solvers

Hector Geffner

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2011-5

Learning and using domain-specific heuristics in ASP solvers

Marcello Balduccini

The European Journal on Artificial Intelligence

Search results