Results 251 to 260 of about 137,934 (261)

Overview and analysis of the SAT Challenge 2012 solver competition

Artificial Intelligence, 2015
Adrian Balint, Anton Belov, Matti Järvisalo   +2 more
exaly  

A logical approach to efficient Max-SAT solving

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

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

Journal of Computer and System Sciences, 2008
Russell Impagliazzo, Valentine Kabanets, Ramamohan Paturi   +2 more
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  

Generating SAT instances with community structure

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

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

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

SAT predicts GPA better for high ability subjects: Implications for Spearman’s Law of Diminishing Returns

Personality and Individual Differences, 2011
Thomas R Coyle, David R Pillow, Peter Kochunov   +2 more
exaly  

More Paradigms of SAT Solvers: Circuit-SAT, FPGA-Based SAT, LLM-Based SAT

openaire   +1 more source

SAT

2009
openaire   +1 more source

SATS

2010
openaire   +1 more source