Search results

Articles (5)

Journals (0)

1-5 of 5 results for clause shortening

Sort by:

Relevance

Select all

Sort by:

Relevance

Open access

Research article

First published 2006-2

A Faster Clause-Shortening Algorithm for SAT with No Restriction on Clause Length

Evgeny Dantsin, Alexander Wolpert

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2012-11

Robert H. Wilson

Cornell Hospitality Quarterly

Retricted access

Research article

First published 2020-4

Kyung-Bok Son

International Journal of Social Determinants of Health and Health Services

Retricted access

Research article

First published 2005

Eul-Bum Lee, Hojung Lee, Massod Akbarian

Transportation Research Record: Journal of the Transportation Research Board

Retricted access

Other

First published 2011-3

Janice Fon, Keith Johnson, Sally Chen

Language and Speech