Search results: Sage Journals

Available accessResearch articleFirst 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

Open accessResearch articleFirst published November, 2011

Peter van der Tak, Antonio Ramos, Marijn Heule

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published January 31, 2018

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

Argument & Computation

Open accessResearch articleFirst published August, 2012

Allen Van Gelder

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published February, 2012

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

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published November, 2011

Olivier Roussel

Journal on Satisfiability,Boolean Modelling and Computation

Open accessResearch articleFirst published August, 2012

Daniel Le Berre, Stéphanie Roussel

Journal on Satisfiability,Boolean Modelling and Computation

Available accessResearch articleFirst published August, 1999

Eric Monfroy, Christophe Ringeissen

Fundamenta Informaticae

Available accessResearch articleFirst published February, 2014

Hector Geffner

The European Journal on Artificial Intelligence

Available accessResearch articleFirst published May, 2011

Marcello Balduccini

The European Journal on Artificial Intelligence