Wolfgang Kuechlin

Wolfgang Kuechlin

Professor für Informatik (Symbolisches Rechnen), Uni Tübingen
Verified email at uni-tuebingen.de
Cited by 2277
Formal Verification Configuration Problems SAT-solving Automotive Product Documentation
Gunnar Stålmarck

Gunnar Stålmarck

Stålmarck Resource Optimization AB, Logyield AB
Verified email at stalmarck.com
Cited by 1867
Proof Theory SAT solving Formal Verification Scheduling Optimization Algorithms
Norbert Manthey

Norbert Manthey

TU Dresden
Verified email at tu-dresden.de
Cited by 1312
SAT Solving Parallel Computing MaxSAT PB Solving
Antti E. J. Hyvärinen

Antti EJ Hyvärinen

Senior Research Scientist, Certora
Verified email at certora.com
Cited by 997
SMT solving SAT solving Model Checking parallel SMT solving
Dr. Adrian Balint

Dr. Adrian Balint

Ulm University
Cited by 731
SAT Solving
Nils Froleyks

Nils Froleyks

Johannes Kepler University, Linz, Austria
Verified email at jku.at
Cited by 279
SAT Solving Hardware Verification Planning
Cayden R. Codel

Cayden R. Codel

Carnegie Mellon University
Verified email at andrew.cmu.edu
Cited by 271
formal methods SAT solving interactive theorem provers
Muhammad Osama

Muhammad Osama

Leiden University
Verified email at liacs.leidenuniv.nl
Cited by 224
Parallel Computing SAT Solving Formal Verification
Dominik P. Schreiber

Dominik P. Schreiber

Karlsruhe Institute of Technology
Verified email at kit.edu
Cited by 219
SAT Solving distributed algorithms automated planning
Christoph Zengler

Christoph Zengler

CEO BooleWorks GmbH
Verified email at zengler.eu
Cited by 171
Verification Formal Methods SAT Solving
1 - 10