Daniel El Ouraoui

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 3

Top Topics

Satisfiability Modulo Theories

Predicate Invention

Top Venues

Publications

Sophie Tourret, Pascal Fontaine, Daniel El Ouraoui, Haniel Barbosa
Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding. SMT (2020)
Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli, Clark W. Barrett
Extending SMT Solvers to Higher-Order Logic. CADE (2019)
Haniel Barbosa, Jasmin Christian Blanchette, Simon Cruanes, Daniel El Ouraoui, Pascal Fontaine
Language and Proofs for Higher-Order SMT (Work in Progress). PxTP (2017)