Search results

Articles (4)

Journals (0)

1-4 of 4 results for runtime solver configuration

Sort by:

Relevance

Select all

Sort by:

Relevance

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

Retricted access

Research article

First published 2024-9

Hanna Reinhardt, Çetin Ozan Alanyalıoğlu, André Fischer [...]

International Journal of Spray and Combustion Dynamics

Retricted access

Research article

First published 2019

Tadhg Fitzgerald, Barry O’Sullivan

Fundamenta Informaticae

Retricted access

Research article

First published 2026-3

Kolos Retfalvi, Russell Whitesides, Matthew T McGurn [...]

The International Journal of High Performance Computing Applications