Login / Signup
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving.
Oussama Oulkaid
Bruno Ferres
Matthieu Moy
Pascal Raymond
Mehdi Khosravian
Ludovic Henrio
Gabriel Radanne
Published in:
DATE (2024)
Keyphrases
</>
high speed
relational data
relational databases
logic programming
formal semantics
deduction rules
conceptual model
active rules
neural network
relational algebra