Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

All content on this site: Copyright © 2026 Sage Publications. All rights reserved. This website is technically supported and operated by China National Publications Import and Export (Group) Co., Ltd. 京ICP备09090397号-11

Search results

Search results page

Articles (1682)

Journals (0)

1-10 of 1682 results for solvers

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

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

Retricted access

Research article

First published May, 2024

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

Select article: Abstract solvers for Dung’s argumentation frameworks

Open access

Research article

First published January 31, 2018

Abstract solvers for Dung’s argumentation frameworks

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

Argument & Computation

Select article: Reusing the Assignment Trail in CDCL Solvers

Open access

Research article

First published November, 2011

Reusing the Assignment Trail in CDCL Solvers

Peter van der Tak, Antonio Ramos, Marijn Heule

Journal on Satisfiability,Boolean Modelling and Computation

Select article: Contrasat – A Contrarian SAT Solver

Open access

Research article

First published August, 2012

Contrasat – A Contrarian SAT Solver

Allen Van Gelder

Journal on Satisfiability,Boolean Modelling and Computation

Select article: Controlling a Solver Execution with the runsolver Tool

Open access

Research article

First published November, 2011

Controlling a Solver Execution with the runsolver Tool

Olivier Roussel

Journal on Satisfiability,Boolean Modelling and Computation

Select article: QMaxSAT: A Partial Max-SAT Solver

Open access

Research article

First published February, 2012

QMaxSAT: A Partial Max-SAT Solver

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

Journal on Satisfiability,Boolean Modelling and Computation

Select article: Sat4j 2.3.2: on the fly solver configuration

Open access

Research article

First published August, 2012

Sat4j 2.3.2: on the fly solver configuration

Daniel Le Berre, Stéphanie Roussel

Journal on Satisfiability,Boolean Modelling and Computation

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

Available access

Research article

First published August, 1999

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

Eric Monfroy, Christophe Ringeissen

Fundamenta Informaticae

Select article: Artificial Intelligence: From programs to solvers

Available access

Research article

First published February, 2014

Artificial Intelligence: From programs to solvers

Hector Geffner

The European Journal on Artificial Intelligence

Select article: Learning and using domain-specific heuristics in ASP solvers

Available access

Research article

First published May, 2011

Learning and using domain-specific heuristics in ASP solvers

Marcello Balduccini

The European Journal on Artificial Intelligence

1
2
3
•••
169
10 / page

Filter Results

Article type

Publication date

Subjects

Access