Results 251 to 260 of about 138,192 (261)

Resolution for Max-SAT

Artificial Intelligence, 2007
Jordi Levy, Felip Manya, Maria Luisa Bonet   +2 more
exaly  

Overview and analysis of the SAT Challenge 2012 solver competition

Artificial Intelligence, 2015
Carsten Sinz, Matti Järvisalo, Anton Belov   +2 more
exaly  

SAT and ACT predict college GPA after removing g

Intelligence, 2008
David Pillow, Thomas R Coyle
exaly  

State preferences for the ACT versus SAT complicates inferences about SAT-derived state IQ estimates: A comment on Kanazawa (2006)

Intelligence, 2006
Michael A Mcdaniel
exaly  

FA-SAT Is an Old Satellite DNA Frozen in Several Bilateria Genomes

Genome Biology and Evolution, 2017
Filomena Adega, Raquel Chaves, Daniela Ferreira   +2 more
exaly  

The complexity of Unique k-SAT: An Isolation Lemma for k-CNFs

Journal of Computer and System Sciences, 2008
Russell Impagliazzo, Ramamohan Paturi, Valentine Kabanets   +2 more
exaly  

Generating SAT instances with community structure

Artificial Intelligence, 2016
Jordi Levy, Jesus Giraldez-Cru
exaly  

A logical approach to efficient Max-SAT solving

Artificial Intelligence, 2008
Simon De Givry, Javier Larrosa, Federico Heras   +2 more
exaly  

3-SAT Faster and Simpler---Unique-SAT Bounds for PPSZ Hold in General

SIAM Journal on Computing, 2014
exaly  

A STUDY OF FATIGUE EFFECTS FROM THE NEW SAT®

ETS Research Report Series, 2004
exaly