Inverting Thanks to SAT Solving - An Application on Reduced-step MD - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Inverting Thanks to SAT Solving - An Application on Reduced-step MD

Résumé

no abstract

Domaines

Intelligence artificielle [cs.AI] Cryptographie et sécurité [cs.CR]

Gilles Dequen  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00846946

Soumis le : lundi 22 juillet 2013-11:56:28

Dernière modification le : vendredi 19 avril 2024-13:44:22

Fichier non déposé

Dates et versions

hal-00846946 , version 1 (22-07-2013)

Identifiants

  • HAL Id : hal-00846946 , version 1

Citer

Gilles Dequen, Michaël Krajecki, Florian Legendre. Inverting Thanks to SAT Solving - An Application on Reduced-step MD. SECRYPT, 2012, Italy. pp.339--344. ⟨hal-00846946⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS URCA CRESTIC U-PICARDIE MIS UPJV-MIS-GOC
50 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More