Zakaria Chihani
Title
Cited by
Cited by
Year
Foundational proof certificates in first-order logic
Z Chihani, D Miller, F Renaud
International Conference on Automated Deduction, 162-177, 2013
392013
A semantic framework for proof evidence
Z Chihani, D Miller, F Renaud
Journal of Automated Reasoning 59 (3), 287-330, 2017
252017
The proof certifier checkers
Z Chihani, T Libal, G Reis
International Conference on Automated Reasoning with Analytic Tableaux and …, 2015
202015
Real behavior of floating point numbers
B Marre, F Bobot, Z Chihani
152017
Translating between implicit and explicit versions of proof
R Blanco, Z Chihani, D Miller
International Conference on Automated Deduction, 255-273, 2017
122017
Sharpening constraint programming approaches for bit-vector theory
Z Chihani, B Marre, F Bobot, S Bardin
International Conference on AI and OR Techniques in Constraint Programming …, 2017
92017
Checking foundational proof certificates for first-order logic
Z Chihani, D Miller, F Renaud
92013
Proof certificates for equality reasoning
Z Chihani, D Miller
Electronic Notes in Theoretical Computer Science 323, 93-108, 2016
82016
Classical polarizations yield double-negation translations
Z Chihani, D Ilik, D Miller
52016
Real behavior of floating point
F Bobot, Z Chihani, B Marre
15th International Workshop on Satisfiability Modulo Theories, 59-74, 2017
42017
Certification of First-order proofs in classical and intuitionistic logics
Z Chihani
PhD thesis, École polytechnique, 2015
42015
CDCL-inspired Word-level Learning for Bit-vector Constraint Solving
Z Chihani, F Bobot, S Bardin
arXiv preprint arXiv:1706.09229, 2017
22017
A semantics for proof evidence
Z Chihani, D Miller, F Renaud
Collected abstracts of Theory and Application of Formal Proofs (LIX …, 2013
22013
The exp-log normal form of types and canonical terms for lambda calculus with sums
D Ilik, Z Chihani
CoRR, abs/1502.04634, 2015
12015
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
J Girard-Satabin, G Charpiat, Z Chihani, M Schoenauer
arXiv preprint arXiv:1911.10735, 2019
2019
Bruno Marre Benjamin Blanc Patricia Mouy Zakaria Chihani Franck Vedrine François Bobot June 2, 2019
Z Chihani
2019
Bruno Marre Benjamin Blanc Patricia Mouy Zakaria Chihani Franck Vedrine François Bobot June 11, 2018
Z Chihani
2018
An interactive assistant for the definition of proof certificates
R Blanco, Z Chihani
2016
Tight coupling between bit-vector and integer domains can surpass bit-blasting SMT solvers
Z Chihani
Des approches CPa la conquête de la théorie des bit-vecteurs
Z Chihani, B Marre, F Bobot, S Bardin
The system can't perform the operation now. Try again later.
Articles 1–20