Results 261 to 270 of about 1,605,280 (279)

Sate for sat

Notes and Queries, 1882
openaire   +2 more sources

Hardware accelerated SAT solvers—A survey

Journal of Parallel and Distributed Computing, 2017
Ali Asgar Sohanghpurwala, Mohamed W Hassan, Peter Athanas   +2 more
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  

SATS

2010
openaire   +1 more source

Solution of a 20-Variable 3-SAT Problem on a DNA Computer

Science, 2002
exaly  

Simple algorithm portfolio for SAT

Artificial Intelligence Review, 2011
Mladen Nikolic, Filip Marić, Predrag Janičić   +2 more
exaly  

SAT

2005
openaire   +1 more source

SAT-based MaxSAT algorithms

Artificial Intelligence, 2013
Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy   +2 more
exaly  

SAT

2014
openaire   +1 more source

Sat‐Nav virology

Reviews in Medical Virology, 2008
openaire   +2 more sources