Contributions de Mystelven
De Mystelven discuter journal des blocages téléversements journaux Journal des blocages globaux compte global journal des filtrages
Un utilisateur avec 10 modifications. Compte créé le 2 juillet 2013.
8 septembre 2023
- 13:448 septembre 2023 à 13:44 diff hist +157 m Liste des familles françaises subsistantes les plus anciennes Ajout de la Maison de Montmirail. Famille féodale de Champagne du XIe siècle jusqu'au XIIIe siècle. Balises : Révoqué Éditeur visuel
1 septembre 2018
- 11:061 septembre 2018 à 11:06 diff hist +214 Problème SAT Référence vers le Handbook of Satisfiability qui est l'ouvrage de référence pour indiquer des applications de SAT. Balise : Éditeur visuel
- 10:591 septembre 2018 à 10:59 diff hist +1 450 m Problème SAT Ajout de références vers des papiers de solveurs utilisant un solveur SAT comme sous-routine pour résoudre la satisfiabilité en logiques modales. Balise : Éditeur visuel
25 juillet 2017
- 16:2225 juillet 2017 à 16:22 diff hist +40 Utilisateur:Mystelven Aucun résumé des modifications actuelle Balise : Éditeur visuel
- 16:2125 juillet 2017 à 16:21 diff hist +13 Matteo Messina Denaro Ajout d'un portrait robot de Matteo Denaro afin d'illustrer la page. Balise : Éditeur visuel
4 novembre 2016
- 23:124 novembre 2016 à 23:12 diff hist +323 PSPACE Références vers Richard Ladner, qui a prouvait que les logiques modales entre K et S4 avaient une satisfiabilité PSPACE-complet alors que la logique modale S5 était elle NP-Complet. Balise : Éditeur visuel
16 juillet 2013
- 14:5916 juillet 2013 à 14:59 diff hist +25 N Utilisateur:Mystelven Nouvelle page : {{Utilisateur robotique}}
|