Login / Signup
O. Oulkaid
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Satisfiability Problem
Electron Beam
Integrated Circuit
Rule Learning
Top Venues
DATE
</>
Publications
</>
Bruno Ferres
,
O. Oulkaid
,
Ludovic Henrio
,
Mehdi Khosravian Ghadikolaei
,
Matthieu Moy
,
Gabriel Radanne
,
Pascal Raymond
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory.
DATE
(2023)