Sage Journals: Discover world-class research

Retricted access

Research article

First published 2005-8

Stochastic local search for incremental SAT

Malek Mouhoub

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2006-4

Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT

Victor Khomenko, Maciej Koutny, Alex Yakovlev

Fundamenta Informaticae

Retricted access

Research article

First published 1981-10

Relative Effectiveness of the California Achievement Tests in Comparison With the Act Assessment,College Board Scholastic Aptitude Test,and High School Grade Point Average in Predicting College Grade Point Average

Gerald Halpin, Glennelle Halpin, Barbara Brown Schaer

Educational and Psychological Measurement

Open access

Research article

First published 2014-6

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving

Ruben Martins, Saurabh Joshi, Vasco Manquinho [...]

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2011-11

Successful SAT Encoding Techniques

Magnus Björk

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2009-2

Boosting SAT Solver Performance via a New Hybrid Approach 1

Lei Fang, Michael S. Hsiao

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2015-5

Verification of partial designs using incremental QBF

Christian Miller, Paolo Marin, Bernd Becker

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2012-9

The Role of Socioeconomic Status in SAT-Grade Relationships and in College Admissions Decisions

Paul R. Sackett, Nathan R. Kuncel, Adam S. Beatty [...]

Psychological Science

Retricted access

Research article

First published 1992-12

Sats,Achievement Tests,and High-School Class Rank as Predictors of College Performance

Jonathan Baron, M. Frank Norman

Educational and Psychological Measurement

Retricted access

Research article

First published 1980-12

Predicting Academic Achievement Among Specially Admitted Black Female College Students

Lawrence N. Houston

Educational and Psychological Measurement

Search results