BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Mathias Soeken
SearchCollections
Map detail
Mathias Soeken13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMathias SoekenAMathias SoekenResearcherThe EPFL Logic Synthesis LibrariesWThe EPFL Logic Synthesi...preprint / 2022Quantum Circuits for Functionally Controlled NOT GatesWQuantum Circuits for Fu...preprint / 2020Determining the Multiplicative Complexity of Boolean Functions using SATWDetermining the Multipl...preprint / 2020On quantum circuits employing roots of the Pauli matricesWOn quantum circuits emp...preprint / 2013Ancilla-free synthesis of large reversible functions using binary decision diagramsWAncilla-free synthesis ...preprint / 2014Embedding of Large Boolean Functions for Reversible LogicWEmbedding of Large Bool...preprint / 2014A framework for reversible circuit complexityWA framework for reversi...preprint / 2014Self-Inverse Functions and Palindromic CircuitsWSelf-Inverse Functions ...preprint / 2015Design Automation and Design Space Exploration for Quantum ComputersWDesign Automation and D...preprint / 2016The multiplicative complexity of interval checkingWThe multiplicative comp...preprint / 2022Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource EstimationWEnabling Accuracy-Aware...preprint / 2021Lowering the T-depth of Quantum Circuits By Reducing the Multiplicative Depth Of Logic NetworksWLowering the T-depth of...preprint / 2020
Person12 links

Mathias Soeken

Researcher

PaperThe EPFL Logic Synthesis LibrariesAuthorship / preprint / 2022PaperQuantum Circuits for Functionally Controlled NOT GatesAuthorship / preprint / 2020PaperDetermining the Multiplicative Complexity of Boolean Functions using SATAuthorship / preprint / 2020PaperOn quantum circuits employing roots of the Pauli matricesAuthorship / preprint / 2013PaperAncilla-free synthesis of large reversible functions using binary decision diagramsAuthorship / preprint / 2014PaperEmbedding of Large Boolean Functions for Reversible LogicAuthorship / preprint / 2014PaperA framework for reversible circuit complexityAuthorship / preprint / 2014PaperSelf-Inverse Functions and Palindromic CircuitsAuthorship / preprint / 2015

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)