VIAF

Virtual International Authority File

Search

Leader 00000cz a2200037n 45 0
001 SUDOC|070014949 (VIAF cluster) (Authority/Source Record)
005 202011251448.3
008 030312 nfazznn||| |n aaa |d
003 SUDOC
035 ‎‡a (SUDOC)070014949‏
035 ‎‡a http://viaf.org/viaf/203105970‏
046 0 ‎‡f 19730409‏
072 7 ‎‡2 ESR‏
100 1 ‎‡a Simon, Laurent,‏ ‎‡d 1973-....,‏ ‎‡c informaticien‏
670 ‎‡a Multirésolution pour le test de consistance et la déduction en logique propositionnelle / Laurent Simon, 2001 [thèse]‏
670 ‎‡a Towards more efficient parallel SAT solving / Ludovic Le Frioux; sous la direction de Souheib Baarir, Fabrice Kordon et Julien Sopena. Thèse de doctorat: Informatique: Sorbonne université: 2019‏ ‎‡b Professeur à l'Université de Bordeaux, LaBRI-CNRS (en 2019). Rapporteur d'une thèse en Informatique soutenue à Sorbonne université, Paris, en 2019‏
670 ‎‡a Annuaire interne Université de Bordeaux, Décembre 2017‏ ‎‡b Université de Bordeaux‏
678 ‎‡a Auteur d'une thèse de: Informatique, Université Paris 11, Orsay (en 2001). Rattaché à: Université de Bordeaux (en 2017)‏ ‎‡a Professeur à l'Université de Bordeaux, LaBRI-CNRS (en 2019)‏
901 ‎‡a 978364221580‏ ‎‡9 1‏
901 ‎‡a 978227111974‏ ‎‡9 1‏
910 ‎‡a improvingperformanceofthesmtsolveraltergowithabetterintegrationofefficientsatsolver‏ ‎‡A [ErgoFast] Improving performance of the SMT solver Alt-Ergo with a better integration of efficient SAT solver.‏ ‎‡l fre‏ ‎‡9 1‏
910 ‎‡a ameliorationdeperformancesdusolveursmtaltergogracealintegrationdunsolveursatefficace‏ ‎‡A [ErgoFast] Amélioration de performances du solveur SMT Alt-Ergo grâce à l'intégration d'un solveur SAT efficace /‏ ‎‡l fre‏ ‎‡9 1‏
910 ‎‡a memorysavingstrategiesfordeepneuralnetworktraining‏ ‎‡A Memory Saving Strategies for Deep Neural Network Training /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a strategiespoureconomiserlamemoirelorsde50apprentissagedanslesreseauxneuronauxprofonds‏ ‎‡A Stratégies pour économiser la mémoire lors de l’apprentissage dans les réseaux neuronaux profonds.‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a encodageefficacedessystemescritiquespourlaverificatonformelleparmodelcheckingabasedesolveurssat‏ ‎‡A Encodage Efficace des Systèmes Critiques pour la Vérificaton Formelle par Model Checking à base de Solveurs SAT /‏ ‎‡l fre‏ ‎‡9 1‏
910 ‎‡a effectiveencodingofcriticalsystemsforsatbasedmodelchecking‏ ‎‡A Effective Encoding of Critical Systems for SAT-Based Model Checking..‏ ‎‡l fre‏ ‎‡9 1‏
910 ‎‡a resolutionpratiquedelacoherencedeformulesenlogiquesmodales‏ ‎‡A Résolution pratique de la cohérence de formules en logiques modales.‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a practicalresolutionofsatisfiabilitytestingformodallogics‏ ‎‡A Practical resolution of satisfiability testing for modal logics /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a multiresolutionforconsistencycheckinganddeductioninpropositionallogic‏ ‎‡A Multiresolution for consistency checking and deduction in propositional logic.‏ ‎‡l fre‏ ‎‡9 1‏
910 ‎‡a multiresolutionpourletestdeconsistanceetladeductionenlogiquepropositionnelle‏ ‎‡A Multirésolution pour le test de consistance et la déduction en logique propositionnelle /‏ ‎‡l fre‏ ‎‡9 2‏
910 ‎‡a diagnosticdistribuedesystemesrespectantlaconfidentialite‏ ‎‡A Diagnostic distribué de systèmes respectant la confidentialité /‏ ‎‡l fre‏ ‎‡9 1‏
910 ‎‡a distributeddiagnosisofsystemsrespectingprivacy‏ ‎‡A Distributed diagnosis of systems respecting privacy.‏ ‎‡l fre‏ ‎‡9 1‏
910 ‎‡a combinatoricsinalgebraicandlogicalcryptanalysis‏ ‎‡A Combinatorics in algebraic and logical cryptanalysis /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a combinatoireencryptanalysealgebriqueetlogique‏ ‎‡A Combinatoire en cryptanalyse algébrique et logique.‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a analyseabasedesatdeladiagnosticabiliteetdelapredictabilitedessystemesaevenementsdiscretscentralisesetdistribues‏ ‎‡A Analyse à base de SAT de la diagnosticabilité et de la prédictabilité des systèmes à événements discrets centralisés et distribués /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a satbaseddiagnosabilityandpredictabilityanalysisincentralizedanddistributeddiscreteeventsystems‏ ‎‡A SAT-based diagnosability and predictability analysis in centralized and distributed discrete event systems.‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a hybridationdetechniquesdapprentissagedeclausesenprogrammationparcontraintes‏ ‎‡A Hybridation de techniques d'apprentissage de clauses en programmation par contraintes /‏ ‎‡l fre‏ ‎‡9 1‏
910 ‎‡a hybridizationofclauselearningtechniquesinconstraintprogramming‏ ‎‡A Hybridization of clause learning techniques in constraint programming.‏ ‎‡l fre‏ ‎‡9 1‏
910 ‎‡a theoryandapplicationsofsatisfiabilitytestingsat201114internationalconferencesat2011annarbor1001usajune19222011proceedings‏ ‎‡A Theory and applications of satisfiability testing - SAT 2011:‏ ‎‡b 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19 - 22, 2011:‏ ‎‡b proceedings /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a versuneparallelisationefficacedelaresolutionduproblemedesatisfaisabilite‏ ‎‡A Vers une parallélisation efficace de la résolution du problème de satisfaisabilité.‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a towardsmoreefficientparallelsatsolving‏ ‎‡A Towards more efficient parallel SAT solving /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a informatiquemathematiqueunephotographieen2018‏ ‎‡A Informatique mathématique:‏ ‎‡b une photographie en 2018 /‏ ‎‡l fre‏ ‎‡9 1‏
910 ‎‡a algorithmesdeprisededecisionstrategiquepourrobotsautonomes‏ ‎‡A Algorithmes de prise de décision stratégique pour robots autonomes.‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a decisionmakingalgorithmsforautonomousrobots‏ ‎‡A Decision-making algorithms for autonomous robots /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a ordonnancementdynamiquedegraphedetachesparcomposition‏ ‎‡A Ordonnancement dynamique de graphe de tâches par composition /‏ ‎‡l eng‏ ‎‡9 1‏
910 ‎‡a composedtaskgraphsdynamicscheduling‏ ‎‡A Composed task graph's dynamic scheduling.‏ ‎‡l eng‏ ‎‡9 1‏
920 ‎‡a 978-36422‏ ‎‡9 1‏
920 ‎‡a 978-2271‏ ‎‡9 1‏
921 ‎‡a springer‏ ‎‡b Springer,‏ ‎‡9 1‏
922 ‎‡a fr‏ ‎‡b fr‏ ‎‡9 14‏
922 ‎‡a gw‏ ‎‡b de‏ ‎‡9 1‏
930 ‎‡a laurent simon‏ ‎‡c Laurent Simon; sous la dir. de Marie Christine Rousset et Philippe Chatalic.‏ ‎‡9 2‏
940 ‎‡a fre‏ ‎‡9 12‏
940 ‎‡a eng‏ ‎‡9 15‏
941 ‎‡a rapporteur de la these‏ ‎‡e Rapporteur de la thèse‏ ‎‡9 4‏
941 ‎‡a membre du jury‏ ‎‡e Membre du jury‏ ‎‡9 7‏
941 ‎‡a directeur de these‏ ‎‡e Directeur de thèse‏ ‎‡9 2‏
941 ‎‡a president du jury de soutenance‏ ‎‡e Président du jury de soutenance‏ ‎‡9 2‏
941 ‎‡a directeur de la publication‏ ‎‡e Directeur de la publication‏ ‎‡9 1‏
941 ‎‡a auteur‏ ‎‡e Auteur‏ ‎‡9 1‏
942 ‎‡a QA76.9.M35‏ ‎‡9 1‏
943 ‎‡a 201x‏ ‎‡9 10‏
943 ‎‡a 200x‏ ‎‡9 2‏
944 ‎‡a mm‏ ‎‡9 11‏
944 ‎‡a am‏ ‎‡9 4‏
950 ‎‡a coquereau albin‏ ‎‡A Coquereau, Albin.‏ ‎‡9 1‏
950 ‎‡a mauny michel‏ ‎‡A Mauny, Michel.‏ ‎‡9 1‏
950 ‎‡a conchon sylvain‏ ‎‡A Conchon, Sylvain‏ ‎‡d (1972-....).‏ ‎‡9 3‏
950 ‎‡a dubois catherine‏ ‎‡A Dubois, Catherine‏ ‎‡d (19..-....;‏ ‎‡c informaticienne).‏ ‎‡9 1‏
950 ‎‡a fontaine pascal‏ ‎‡A Fontaine, Pascal‏ ‎‡d (19..-....;‏ ‎‡c informaticien).‏ ‎‡9 1‏
950 ‎‡a brunet elisabeth‏ ‎‡A Brunet, Elisabeth‏ ‎‡d (1981-....).‏ ‎‡9 2‏
950 ‎‡a raffin bruno‏ ‎‡A Raffin, Bruno.‏ ‎‡9 1‏
950 ‎‡a benoit anne‏ ‎‡A Benoit, Anne‏ ‎‡d (1977-....;‏ ‎‡c informaticienne).‏ ‎‡9 1‏
950 ‎‡a beaumont olivier‏ ‎‡A Beaumont, Olivier‏ ‎‡d (1970-....;‏ ‎‡c informaticien).‏ ‎‡9 1‏
950 ‎‡a shilova alena‏ ‎‡A Shilova, Alena‏ ‎‡d (1994-....).‏ ‎‡9 1‏
950 ‎‡a eyraud dubois lionel‏ ‎‡A Eyraud-Dubois, Lionel‏ ‎‡d (1980-....).‏ ‎‡9 1‏
950 ‎‡a joly alexis‏ ‎‡A Joly, Alexis‏ ‎‡d (1979-....).‏ ‎‡9 1‏
950 ‎‡a oseledets ivan‏ ‎‡A Oseledets, Ivan.‏ ‎‡9 1‏
950 ‎‡a pierre laurence‏ ‎‡A Pierre, Laurence.‏ ‎‡9 1‏
950 ‎‡a baud berthier guillaume‏ ‎‡A Baud-Berthier, Guillaume‏ ‎‡d (1990-....).‏ ‎‡9 1‏
950 ‎‡a biere armin‏ ‎‡A Biere, Armin‏ ‎‡d (1967-....).‏ ‎‡9 1‏
950 ‎‡a herbreteau frederic‏ ‎‡A Herbreteau, Frédéric‏ ‎‡d (1975-....).‏ ‎‡9 1‏
950 ‎‡a montmirail valentin‏ ‎‡A Montmirail, Valentin.‏ ‎‡9 1‏
950 ‎‡a le berre daniel‏ ‎‡A Le Berre, Daniel‏ ‎‡d (1972-....).‏ ‎‡9 2‏
950 ‎‡a seidl martina‏ ‎‡A Seidl, Martina‏ ‎‡d (19..-....).‏ ‎‡9 1‏
950 ‎‡a herzig andreas‏ ‎‡A Herzig, Andreas‏ ‎‡d (19..-....;‏ ‎‡c chercheur en informatique).‏ ‎‡9 1‏
950 ‎‡a lagniez jean marie‏ ‎‡A Lagniez, Jean-Marie‏ ‎‡d (1983-....).‏ ‎‡9 2‏
950 ‎‡a lima tiago de‏ ‎‡A Lima, Tiago de‏ ‎‡d (1978-....).‏ ‎‡9 1‏
950 ‎‡a rousset marie christine‏ ‎‡A Rousset, Marie-Christine‏ ‎‡d (19..-....;‏ ‎‡c auteur en informatique).‏ ‎‡9 1‏
950 ‎‡a chatalic philippe‏ ‎‡A Chatalic, Philippe‏ ‎‡d (1961-....).‏ ‎‡9 1‏
950 ‎‡a denise alain‏ ‎‡A Denise, Alain.‏ ‎‡9 1‏
950 ‎‡a cordier marie odile‏ ‎‡A Cordier, Marie-Odile‏ ‎‡d (1950-....).‏ ‎‡9 1‏
950 ‎‡a armant vincent‏ ‎‡A Armant, Vincent‏ ‎‡d (1983-...).‏ ‎‡9 1‏
950 ‎‡a dague philippe‏ ‎‡A Dague, Philippe‏ ‎‡d (1951-....;‏ ‎‡c professeur d'informatique).‏ ‎‡9 2‏
950 ‎‡a jegou philippe‏ ‎‡A Jégou, Philippe.‏ ‎‡9 1‏
950 ‎‡a marquis pierre‏ ‎‡A Marquis, Pierre‏ ‎‡d (19..-....;‏ ‎‡c informaticien).‏ ‎‡9 1‏
950 ‎‡a trimoska monika‏ ‎‡A Trimoska, Monika‏ ‎‡d (1994-....).‏ ‎‡9 1‏
950 ‎‡a dequen gilles‏ ‎‡A Dequen, Gilles‏ ‎‡d (1972-....).‏ ‎‡9 1‏
950 ‎‡a ionica sorina‏ ‎‡A Ionica, Sorina‏ ‎‡d (1980-....).‏ ‎‡9 1‏
950 ‎‡a joux antoine‏ ‎‡A Joux, Antoine‏ ‎‡d (1967-....).‏ ‎‡9 1‏
950 ‎‡a gaudry pierrick‏ ‎‡A Gaudry, Pierrick‏ ‎‡d (19..-....).‏ ‎‡9 1‏
950 ‎‡a brisoux devendeville laure‏ ‎‡A Brisoux Devendeville, Laure.‏ ‎‡9 1‏
950 ‎‡a albrecht martin‏ ‎‡A Albrecht, Martin‏ ‎‡d (19..-....;‏ ‎‡c informaticien).‏ ‎‡9 1‏
950 ‎‡a marchand herve‏ ‎‡A Marchand, Hervé‏ ‎‡d (19..-....;‏ ‎‡c chercheur en informatique).‏ ‎‡9 1‏
950 ‎‡a sais lakhdar‏ ‎‡A Saïs, Lakhdar‏ ‎‡d (1966-....).‏ ‎‡9 1‏
950 ‎‡a lafortune stephane‏ ‎‡A Lafortune, Stéphane‏ ‎‡d (1958-....).‏ ‎‡9 1‏
950 ‎‡a haar stefan‏ ‎‡A Haar, Stefan‏ ‎‡d (1965-....).‏ ‎‡9 1‏
950 ‎‡a ibrahim hassan‏ ‎‡A Ibrahim, Hassan‏ ‎‡d (19..-....).‏ ‎‡9 1‏
950 ‎‡a boussemart frederic‏ ‎‡A Boussemart, Frédéric.‏ ‎‡9 1‏
950 ‎‡a terrioux cyril‏ ‎‡A Terrioux, Cyril‏ ‎‡d (1976-....).‏ ‎‡9 1‏
950 ‎‡a huguet marie jose‏ ‎‡A Huguet, Marie-José‏ ‎‡d (19..-....).‏ ‎‡9 1‏
950 ‎‡a solnon christine‏ ‎‡A Solnon, Christine‏ ‎‡d (19..-....;‏ ‎‡c chercheuse en informatique).‏ ‎‡9 1‏
950 ‎‡a mazure bertrand‏ ‎‡A Mazure, Bertrand.‏ ‎‡9 1‏
950 ‎‡a lecoutre christophe‏ ‎‡A Lecoutre, Christophe.‏ ‎‡9 1‏
950 ‎‡a glorian gael‏ ‎‡A Glorian, Gaël‏ ‎‡d (1991-....).‏ ‎‡9 1‏
950 ‎‡a sakallah karem a‏ ‎‡A Sakallah, Karem A..‏ ‎‡9 1‏
950 ‎‡a le frioux ludovic‏ ‎‡A Le Frioux, Ludovic‏ ‎‡d (1992-....).‏ ‎‡9 1‏
950 ‎‡a kordon fabrice‏ ‎‡A Kordon, Fabrice.‏ ‎‡9 1‏
950 ‎‡a magnien clemence‏ ‎‡A Magnien, Clémence‏ ‎‡d (1977-....).‏ ‎‡9 1‏
950 ‎‡a krajecki michael‏ ‎‡A Krajecki, Michaël‏ ‎‡d (19..-....).‏ ‎‡9 1‏
950 ‎‡a sopena julien‏ ‎‡A Sopena, Julien‏ ‎‡d (1976-....).‏ ‎‡9 1‏
950 ‎‡a baarir souheib‏ ‎‡A Baarir, Souheib‏ ‎‡d (1978-....).‏ ‎‡9 1‏
950 ‎‡a le cun bertrand‏ ‎‡A Le Cun, Bertrand.‏ ‎‡9 1‏
950 ‎‡a delecroix vincent‏ ‎‡A Delecroix, Vincent‏ ‎‡d (1984-....).‏ ‎‡9 1‏
950 ‎‡a chassaing philippe‏ ‎‡A Chassaing, Philippe‏ ‎‡d (19..-....;‏ ‎‡c mathématicien).‏ ‎‡9 1‏
950 ‎‡a vigneron laurent‏ ‎‡A Vigneron, Laurent‏ ‎‡d (19..-....;‏ ‎‡c informaticien).‏ ‎‡9 1‏
950 ‎‡a jeandel emmanuel‏ ‎‡A Jeandel, Emmanuel‏ ‎‡d (1980-....).‏ ‎‡9 1‏
950 ‎‡a sokolov dmitry‏ ‎‡A Sokolov, Dmitry‏ ‎‡d (1981-....).‏ ‎‡9 1‏
950 ‎‡a richard adrien‏ ‎‡A Richard, Adrien‏ ‎‡d (1980-...).‏ ‎‡9 1‏
950 ‎‡a ray nicolas‏ ‎‡A Ray, Nicolas‏ ‎‡d (1968-....).‏ ‎‡9 1‏
950 ‎‡a pauleve loic‏ ‎‡A Paulevé, Loïc‏ ‎‡d (1985-....).‏ ‎‡9 1‏
950 ‎‡a levy bruno‏ ‎‡A Lévy, Bruno‏ ‎‡d (19..-....;‏ ‎‡c informaticien).‏ ‎‡9 1‏
950 ‎‡a genest blaise‏ ‎‡A Genest, Blaise‏ ‎‡d (1978-....).‏ ‎‡9 1‏
950 ‎‡a garcia frederick‏ ‎‡A Garcia, Frédérick‏ ‎‡d (19..-....).‏ ‎‡9 1‏
950 ‎‡a mouaddib abdel illah‏ ‎‡A Mouaddib, Abdel-Illah‏ ‎‡d (1964-....;‏ ‎‡c enseignant-chercheur en informatique).‏ ‎‡9 1‏
950 ‎‡a iocchi luca‏ ‎‡A Iocchi, Luca‏ ‎‡d (1970-....).‏ ‎‡9 1‏
950 ‎‡a chaumette serge‏ ‎‡A Chaumette, Serge‏ ‎‡d (1966-....).‏ ‎‡9 1‏
950 ‎‡a gimbert hugo‏ ‎‡A Gimbert, Hugo‏ ‎‡d (1979-....).‏ ‎‡9 1‏
950 ‎‡a ly olivier‏ ‎‡A Ly, Olivier‏ ‎‡d (1973-....).‏ ‎‡9 1‏
950 ‎‡a hofer ludovic‏ ‎‡A Hofer, Ludovic‏ ‎‡d (1990-....).‏ ‎‡9 1‏
950 ‎‡a barthou denis‏ ‎‡A Barthou, Denis‏ ‎‡d (1970-....).‏ ‎‡9 1‏
950 ‎‡a cazenave tristan‏ ‎‡A Cazenave, Tristan‏ ‎‡d (19..-....).‏ ‎‡9 1‏
950 ‎‡a namyst raymond‏ ‎‡A Namyst, Raymond‏ ‎‡d (1969-....).‏ ‎‡9 1‏
950 ‎‡a coye baptiste‏ ‎‡A Coye, Baptiste‏ ‎‡d (1992-....).‏ ‎‡9 1‏
950 ‎‡a jalby william‏ ‎‡A Jalby, William‏ ‎‡d (1957-....).‏ ‎‡9 1‏
996 ‎‡2 NTA|069461562‏
996 ‎‡2 NTA|074448331‏
996 ‎‡2 LC|no 99031694‏
996 ‎‡2 NDL|00456635‏
996 ‎‡2 BNF|16715581‏
996 ‎‡2 LC|no 96022399‏
996 ‎‡2 DNB|1052713696‏
996 ‎‡2 ISNI|0000000391119404‏
996 ‎‡2 NTA|156130750‏
996 ‎‡2 NDL|032747724‏
996 ‎‡2 DNB|1227092083‏
996 ‎‡2 DNB|1281555495‏
996 ‎‡2 NTA|069385467‏
996 ‎‡2 RERO|A023426168‏
996 ‎‡2 ISNI|0000000503740394‏
996 ‎‡2 PLWABN|9810549915105606‏
996 ‎‡2 WKP|Q130855548‏
996 ‎‡2 RERO|A027630791‏
996 ‎‡2 NTA|203956192‏
996 ‎‡2 BIBSYS|90138912‏
996 ‎‡2 PTBNP|1017461‏
996 ‎‡2 BNF|17858855‏
996 ‎‡2 WKP|Q93103415‏
996 ‎‡2 NSK|000288633‏
996 ‎‡2 NSK|000781429‏
996 ‎‡2 WKP|Q46836246‏
996 ‎‡2 PLWABN|9810619390305606‏
996 ‎‡2 WKP|Q58231257‏
996 ‎‡2 ISNI|0000000421746784‏
996 ‎‡2 LC|nb2022019765‏
996 ‎‡2 NTA|434907715‏
997 ‎‡a 1973 0 lived 0409 0‏ ‎‡9 1‏
999 ‎‡2 SUDOCBIB|126441413‏
999 ‎‡2 SUDOCBIB|272066990‏
999 ‎‡2 SUDOCBIB|259338508‏
999 ‎‡2 SUDOCBIB|166098655‏
999 ‎‡2 SUDOCBIB|155549480‏
999 ‎‡2 SUDOCBIB|255471424‏
999 ‎‡2 SUDOCBIB|223437867‏
999 ‎‡2 SUDOCBIB|07001454X‏
999 ‎‡2 SUDOCBIB|261081934‏
999 ‎‡2 SUDOCBIB|25081269X‏
999 ‎‡2 SUDOCBIB|242911757‏
999 ‎‡2 SUDOCBIB|274086093‏
999 ‎‡2 SUDOCBIB|233123431‏
999 ‎‡2 SUDOCBIB|227767446‏
999 ‎‡2 SUDOCBIB|26159253X‏