Improved Differential Cryptanalysis of the Ultra-Lightweight Block Cipher PICO. [PDF]
Wang Y, Liang Z, Fan T, Zhou T.
europepmc +1 more source
Augmenting an electronic Ising machine to effectively solve boolean satisfiability. [PDF]
Sharma A, Burns M, Hahn A, Huang M.
europepmc +1 more source
Jamming as a topological satisfiability transition with contact number hyperuniformity and criticality. [PDF]
Shang J, Wang Y, Pan D, Jin Y, Zhang J.
europepmc +1 more source
Acute stress impairs decision-making at varying levels of decision complexity. [PDF]
Doroc K, Yadav N, Murawski C.
europepmc +1 more source
OnTEPT: a multimodal OWL ontology for post-traumatic stress disorder. [PDF]
Salazar-Castro JA +4 more
europepmc +1 more source
A smaller and more efficient one-hot encoding for QUBO. [PDF]
Takasugi S +3 more
europepmc +1 more source
A hybrid RAG and rule-based reasoning framework for technical document analysis. [PDF]
Thomas ER +3 more
europepmc +1 more source
Evidence of scaling advantage on an NP-complete problem with enhanced quantum solvers. [PDF]
Lu Q +8 more
europepmc +1 more source
Tautological formal explanations: does prior knowledge affect their satisfiability? [PDF]
Aslanov I, Guerra E.
europepmc +1 more source

