The following pages link to Gilles Dequen (Q839498):
Displayed 8 items.
- A collaborative approach for multi-threaded SAT solving (Q839500) (← links)
- An efficient approach to solving random \(k\)-SAT problems (Q877837) (← links)
- Logical cryptanalysis with WDSat (Q2118349) (← links)
- On Inconsistent Clause-Subsets for Max-SAT Solving (Q3523061) (← links)
- Using Boolean Constraint Propagation for Sub-clauses Deduction (Q3524222) (← links)
- (Q4475625) (← links)
- A SAT-Based Approach for Index Calculus on Binary Elliptic Curves (Q5048971) (← links)
- Theory and Applications of Satisfiability Testing (Q5325884) (← links)