Conferències i seminaris | Congressos | Grups de recerca | Publicacions | Persones

ABCDEFGHIJKLMNOPQRSTUVWXYZ  

 

Persones

Lefteris M. Kirousis (Grècia)

Publicacions

On the satisfiability threshold of formulae with three literals per clause, 2009 DÍAZ, J.; KIROUSIS, L.; MITSCHE, D. & PÉREZ-GIMÉNEZ, X. `On the satisfiability threshold of formulae with three literals per clause´. *Theoretical Comp. Sci.* 410(30–32), 2920–2934 (2009)