Toby Walsh

Toby Walsh

Professor, UNSW and CSIRO Data61
Verified email at cse.unsw.edu.au
Cited by 28604
AI Constraints Satisfiability Optimisation Computational Social Choice
Armin Biere

Armin Biere

Professor of Computer Science, University of Freiburg
Verified email at informatik.uni-freiburg.de
Cited by 25709
Satisfiability Automated Reasoning Formal Verification Model Checking Debugging
Joao Marques-Silva

Joao Marques-Silva

Research Professor, ICREA, University of Lleida
Verified email at icrea.cat
Cited by 18440
Automated Reasoning Satisfiability Constraint Programming Computational Logic Explainability
Richard Ryan Williams

Richard Ryan Williams

MIT
Verified email at mit.edu
Cited by 8987
Algorithms Computational Complexity Theory Satisfiability Fine-Grained Complexity
Peter van Beek

Peter van Beek

Professor Emeritus of Computer Science, University of Waterloo
Verified email at uwaterloo.ca
Cited by 8629
Artificial Intelligence constraint programming search satisfiability
Stefan Szeider

Stefan Szeider

Professor, Head of Algorithms and Complexity Group, TU Wien, Vienna, Austria
Verified email at szeider.net
Cited by 5502
Algorithms Complexity Satisfiability Parameterized Complexity
Alberto Griggio

Alberto Griggio

Researcher, Fondazione Bruno Kessler
Verified email at fbk.eu
Cited by 4956
automated reasoning formal methods satisfiability SMT SAT
Youssef Hamadi

Youssef Hamadi

Tempero.tech
Verified email at tempero.tech
Cited by 4759
Automated Reasoning Causality Constraint Reasoning Parallelism Satisfiability
Michael W Whalen

Michael W Whalen

Amazon, Inc. and the University of Minnesota
Verified email at cs.umn.edu
Cited by 3901
Model Checking Testing Satisfiability
Alexey Ignatiev

Alexey Ignatiev

Faculty of Information Technology, Monash University
Verified email at monash.edu
Cited by 3620
Satisfiability Computational Logic Automated Reasoning Artificial Intelligence Explainability
1 - 10