Graph explorer

Research map

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

André Schidler
Map detail
André Schidler3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipAndré SchidlerAAndré SchidlerResearcherWeighted Model Counting with Twin-WidthWWeighted Model Counting...preprint / 2022Towards Faster Reasoners By Using Transparent Huge PagesWTowards Faster Reasoner...preprint / 2020
Person2 links

André Schidler

Researcher