Search results

Articles (5)

Journals (0)

1-5 of 5 results for Lemmas on Demand

Sort by:

Relevance

Select all

Sort by:

Relevance

Open access

Research article

First published 2010-2

Lemmas on Demand for the Extensional Theory of Arrays

Robert Brummayer, Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2014-6

Aina Niemetz, Mathias Preiner, Armin Biere

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2022-5

CG Parthipan, Priyanka Kokil

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 1992-12

Steven C. Gold

Simulation & Gaming

Retricted access

Research article

First published 2018-5

Antje Lorenz, Andreas Mädebach, Jörg D Jescheniak

Quarterly Journal of Experimental Psychology