The Need for Speed: Efficient Exact Simulation of Silicon Dangling Bond Logic.

Jan Drewniok Marcel Walter Robert Wille

Published in: ASPDAC (2024)

Keyphrases

high speed
low cost
simulation model
numerical simulations
automated reasoning
real time
databases
multi agent
data structure
lightweight
computationally efficient
predicate logic