Sage Journals: Discover world-class research

Open access

Research article

First published 2008-5

Combining Adaptive and Dynamic Local Search for Satisfiability

Duc Nghia Pham, John Thornton, Charles Gretton [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2018-5-17

Hierarchical invention of theorem proving strategies

Jan Jakubův, Josef Urban

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2015-5

MaxSAT-based encodings for Group MaxSAT

Federico Heras, Antonio Morgado, Joao Marques-Silva

The European Journal on Artificial Intelligence

Open access

Research article

First published 2024-1

The source of the that -trace effect: New evidence from L2 English

Boyoung Kim, Grant Goodall

Second Language Research

Retricted access

Research article

First published 1913-1

The Working of the Housing Clauses of the Housing and Town Planning Act of 1909,by J. WEIGHT MASON,M.B.,C.M.,D.P.H.,M.R.C.S.E.,Medical Officer of Health for the City and Port of Kingston-upon-Hull (FELLOW)

Perspectives in Public Health

Open access

Research article

First published 2019-6

Open-WBO-Inc : Approximation Strategies for Incomplete Weighted MaxSAT

Saurabh Joshi, Prateek Kumar, Sukrut Rao [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1994-7

The Active Voice in Scientific Articles: Frequency and Discourse Functions

Lilita Rodman

Journal of Technical Writing and Communication

Open access

Research article

First published 2006-2

Pueblo: A Hybrid Pseudo-Boolean SAT Solver

Hossein M. Sheini, Karem A. Sakallah

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1986-06

The syntactic density score revisited: which of its components matter in the oral language of 9-15 year olds?

Rochelle B. Simms, Donald J. Richgels

Language Testing

Retricted access

Research article

First published 1971-10

Comprehension and Recoding-Time of Transformed Sentences

Hugh B.G. Thomas, Francis J. Huff

Language and Speech

Search results