Gilles Dequen
From MaRDI portal
Person:839498
Available identifiers
zbMath Open dequen.gillesMaRDI QIDQ839498
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| A SAT-Based Approach for Index Calculus on Binary Elliptic Curves | 2022-11-09 | Paper |
| Logical cryptanalysis with WDSat | 2022-03-22 | Paper |
| A collaborative approach for multi-threaded SAT solving | 2009-09-02 | Paper |
| Theory and Applications of Satisfiability Testing | 2009-07-24 | Paper |
| Using Boolean Constraint Propagation for Sub-clauses Deduction | 2008-09-09 | Paper |
| On Inconsistent Clause-Subsets for Max-SAT Solving | 2008-09-02 | Paper |
| An efficient approach to solving random \(k\)-SAT problems | 2007-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475625 | 2004-08-09 | Paper |
Research outcomes over time
This page was built for person: Gilles Dequen
