ARTICLE
|
doi:10.20944/preprints202010.0560.v1
Subject:
Computer Science And Mathematics,
Logic
Keywords:
satisfiability; SAT; fractal dimension; complex networks
Online: 27 October 2020 (16:12:41 CET)
ARTICLE
|
doi:10.20944/preprints202001.0365.v1
Subject:
Computer Science And Mathematics,
Computational Mathematics
Keywords:
Hopfield Neural Networks; Election Algorithm; Imperialistic Competitive Algorithm; Exhaustive Search; Random Satisfiability; Logic Programming
Online: 30 January 2020 (11:46:31 CET)
ARTICLE
|
doi:10.20944/preprints202409.0148.v1
Subject:
Security Systems,
Computer Science And Mathematics
Keywords:
Timed security protocols; Multi-agent systems; Timed Interpreted Systems; Bounded Model Checking; Satisfiability modulo theories
Online: 3 September 2024 (10:56:53 CEST)