Search results: Sage Journals

Open accessResearch articleFirst published May, 2010

ManySAT: a Parallel SAT Solver

Youssef Hamadi, Said Jabbour, Lakhdar Sais

Journal on Satisfiability,Boolean Modelling and Computation

Retricted accessResearch articleFirst published March, 1997

Michael T. Heath, Padma Raghavan

The International Journal of High Performance Computing Applications

Retricted accessResearch articleFirst published July, 2019

Lubomir Riha, Michal Merta, Radim Vavrik [...]

The International Journal of High Performance Computing Applications

Retricted accessResearch articleFirst published December, 1997

Thierry Coupez, Stéphane Marie

The International Journal of High Performance Computing Applications

Retricted accessResearch articleFirst published November, 1999

George D. Byrne, Alan C. Hindmarsh

The International Journal of High Performance Computing Applications

Retricted accessResearch articleFirst published November, 2002

Dimitri J. Mavriplis

The International Journal of High Performance Computing Applications

Free accessResearch articleFirst published February, 2016

Vadimas Starikovičius, Raimondas Čiegis, Andrej Bugajev

Informatica: An International Journal of Computing and Informatics

Open accessResearch articleFirst published September, 2019

Katharina Kormann, Klaus Reuter, Markus Rampp

The International Journal of High Performance Computing Applications

Retricted accessResearch articleFirst published November, 2005

Marc Baboulin, Luc Giraud, Serge Gratton

The International Journal of High Performance Computing Applications

Retricted accessResearch articleFirst published March, 2023

Jakub Šístek, Tomáš Oberhuber

The International Journal of High Performance Computing Applications