CUFinder

Norbert Manthey

About Norbert Manthey

Norbert Manthey, With an exceptional h-index of 18 and a recent h-index of 11 (since 2020), a distinguished researcher at Technische Universität Dresden, specializes in the field of SAT Solving, Parallel Computing, MaxSAT, PB Solving.

His recent articles reflect a diverse array of research interests and contributions to the field:

Parallel by Default–MergeSat and MergeSat-Pcasso

Static code analysis tool and configuration selection via codebase analysis

Solving summle. net with SAT

Open-wbo@ maxsat evaluation 2020

Cadical modification–watch sat

The MergeSat Solver

Towards faster reasoners by using transparent huge pages

SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT

Norbert Manthey Information

University

Position

___

Citations(all)

1224

Citations(since 2020)

487

Cited By

952

hIndex(all)

18

hIndex(since 2020)

11

i10Index(all)

36

i10Index(since 2020)

16

Email

University Profile Page

Google Scholar

Norbert Manthey Skills & Research Interests

SAT Solving

Parallel Computing

MaxSAT

PB Solving

Top articles of Norbert Manthey

Parallel by Default–MergeSat and MergeSat-Pcasso

SAT COMPETITION 2023

2023

Norbert Manthey
Norbert Manthey

H-Index: 12

Static code analysis tool and configuration selection via codebase analysis

2022/11/8

Solving summle. net with SAT

SAT COMPETITION 2022

2022

Norbert Manthey
Norbert Manthey

H-Index: 12

Open-wbo@ maxsat evaluation 2020

MaxSAT Evaluation

2021

Ruben Martins
Ruben Martins

H-Index: 14

Norbert Manthey
Norbert Manthey

H-Index: 12

Cadical modification–watch sat

SAT COMPETITION 2021

2021

Norbert Manthey
Norbert Manthey

H-Index: 12

The MergeSat Solver

2021

Norbert Manthey
Norbert Manthey

H-Index: 12

Towards faster reasoners by using transparent huge pages

Principles and Practice of Constraint Programming: 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings

2020/10/8

Norbert Manthey
Norbert Manthey

H-Index: 12

SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT

KI-Künstliche Intelligenz

2020/9

Norbert Manthey
Norbert Manthey

H-Index: 12

Rafael Peñaloza
Rafael Peñaloza

H-Index: 18

Sebastian Rudolph
Sebastian Rudolph

H-Index: 25

Using model checking tools to triage the severity of security bugs in the Xen hypervisor

2020

Byron Cook
Byron Cook

H-Index: 25

Norbert Manthey
Norbert Manthey

H-Index: 12

Michael Tautschnig
Michael Tautschnig

H-Index: 14

SMAX–Implementing a Robust MaxSAT Interface

MaxSAT Evaluation 2020

2020

Norbert Manthey
Norbert Manthey

H-Index: 12

See List of Professors in Norbert Manthey University(Technische Universität Dresden)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine