Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions. [PDF]
Springerplus, 2016 Semenov A, Zaikin O.
europepmc +1 more source
Практичні аспекти реалізації алгебраїчного методу криптоаналізу [PDF]
, 2008 Луцків, Андрій Мирославович
core +1 more source
La escritura de las inscripciones cristianas de Mértola [PDF]
El presente artículo es la continuación del publicado en el número anterior de esta revista. En él se realiza un minucioso análisis de la escritura de las inscripciones procedentes de Mértola en el período de dominio visigodo en la Península.
Santiago Fernández, Javier de
core +1 more source
Multi-step partitioning combined with SOM neural network-based clustering technique effectively improves SAT solver performance. [PDF]
PeerJ Comput SciYun S, Wang X.
europepmc +1 more source
Saline solution vs. stabilized isotonic sodium hypochlorite lavage in complicated appendicitis: a comparative study. [PDF]
Eur J Trauma Emerg SurgMuñoz-Leija MA +7 more
europepmc +1 more source
Diversity and distribution of extracellular microcrystals in holothuroid echinoderms. [PDF]
R Soc Open SciMa KCK, Gao F, Hamel JF, Mercier A.
europepmc +1 more source
Description of four new synallactid species (Holothuroidea, Synallactida, Synallactidae) from the tropical Western Pacific Ocean. [PDF]
ZookeysXiao Y, Xiao N.
europepmc +1 more source