Mathias Soeken

Source officielle

https://people.epfl.ch/mathias.soeken?lang=fr

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Proximité ontologique

Informatique théorique

Theory of computation: Informatique quantique, Théorie de la complexité (informatique théorique)

Génie informatique

Matériel informatique: Microprocesseur, Application-specific integrated circuit

Mathématiques

Logique mathématique: Algèbre de Boole (logique)

Optimisation (mathématiques): Métaheuristique

Unités associées (1)

Cours enseignés par cette personne (1)

Publications associées (104)

Veuillez noter qu'il ne s'agit pas d'une liste complète des publications de cette personne. Elle inclut uniquement les travaux sémantiquement pertinents. Pour une liste complète, veuillez consulter Infoscience.

Personnes menant des recherches similaires (83)

Mathias Soeken

Three-Input Gates for Logic Synthesis

Advanced Functional Decomposition Using Majority and Its Applications

Boolean satisfiability in quantum compilation

Three-Input Gates for Logic Synthesis

Boolean satisfiability in quantum compilation

Advanced Functional Decomposition Using Majority and Its Applications