Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Graham-Lengrand, Stéphane
78  Ergebnisse:
Personensuche X
?
1

MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Hader, Thomas ; Kaufmann, Daniela ; Irfan, Ahmed.. - p. 386-395 , 2024
Link: https://doi.org/10.1007/..
 
?
2

QSMA: A New Algorithm for Quantified Satisfiability Modulo ..:

, In: Automated Deduction – CADE 29; Lecture Notes in Computer Science,
Bonacina, Maria Paola ; Graham-Lengrand, Stéphane ; Vauthier, Christophe - p. 78-95 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Boosting the Performance of High-Assurance Cryptography: Pa..:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,
Dittmer, Samuel ; Eldefrawy, Karim ; Graham-Lengrand, Stéphane... - p. 2098-2112 , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Machine-checked ZKP for NP relations: Formally Verified Sec..:

, In: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security,
Almeida, José Bacelar ; Barbosa, Manuel ; Correia, Manuel L.... - p. 2587-2600 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Conflict-Driven Satisfiability for Theory Combination: Lemm..:

Bonacina, Maria Paola ; Graham-Lengrand, Stéphane ; Shankar, Natarajan
Journal of Automated Reasoning.  66 (2021)  1 - p. 43-91 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Solving Bitvectors with MCSAT: Explanations from Bits and P..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Graham-Lengrand, Stéphane ; Jovanović, Dejan ; Dutertre, Bruno - p. 103-121 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Tight typings and split bounds, fully developed:

ACCATTOLI, BENIAMINO ; GRAHAM-LENGRAND, STÉPHANE ; KESNER, DELIA
Journal of Functional Programming.  30 (2020)  - p. , 2020
Link: https://doi.org/10.1017/..
 
?
8

Conflict-Driven Satisfiability for Theory Combination: Tran..:

Bonacina, Maria Paola ; Graham-Lengrand, Stéphane ; Shankar, Natarajan
Journal of Automated Reasoning.  64 (2019)  3 - p. 579-609 , 2019
Link: https://doi.org/10.1007/..
 
?
9

A Proof-Theoretic Perspective on SMT-Solving for Intuitioni..:

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,
Fiorentini, Camillo ; Goré, Rajeev ; Graham-Lengrand, Stéphane - p. 111-129 , 2019
Link: https://doi.org/10.1007/..
 
?
10

Tight typings and split bounds:

Accattoli, Beniamino ; Graham-Lengrand, Stéphane ; Kesner, Delia
Proceedings of the ACM on Programming Languages.  2 (2018)  ICFP - p. 1-30 , 2018
Link: https://doi.org/10.1145/..
 
?
11

Tight typings and split bounds:

Accattoli, Beniamino ; Graham-Lengrand, Stéphane ; Kesner, Delia
Proceedings of the ACM on Programming Languages.  2 (2018)  ICFP - p. 1-30 , 2018
Link: https://dl.acm.org/doi/1..
 
?
12

Proofs in conflict-driven theory combination:

, In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Bonacina, Maria Paola ; Graham-Lengrand, Stéphane ; Shankar, Natarajan - p. 186-200 , 2018
Link: https://dl.acm.org/doi/1..
 
?
13

Special Issue on Computational Logic in Honour of Roy Dyckh..:

Galmiche, Didier ; Graham-Lengrand, Stéphane
Journal of Logic and Computation.  26 (2014)  2 - p. 463-465 , 2014
Link: https://doi.org/10.1093/..
 
?
14

A bisimulation between DPLL(T) and a proof-search strategy ..:

, In: Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice,
Farooque, Mahfuza ; Graham-Lengrand, Stéphane ; Mahboubi, Assia - p. 3-14 , 2013
Link: https://dl.acm.org/doi/1..
 
?
15

Machine-checked ZKP for NP-relations: Formally Verified Sec..:

Almeida, José Carlos Bacelar ; Barbosa, Manuel ; Eldefrawy, Karim...
http://arxiv.org/abs/2104.05516.  , 2021
Link: http://arxiv.org/abs/210..
 
1-15