Gilles Audemard

Gilles Audemard

Professor of Computer Science, CRIL, Université d'Artois
Dirección de correo verificada de cril.fr
Citado por 2326
Constraints SAT SMT CSP QBF
Martina Seidl

Martina Seidl

Assoc. Univ.-Prof., JKU Linz
Dirección de correo verificada de jku.at
Citado por 1987
Automated Theorem Proving Model-Based Engineering Software Verification QBF
Bertrand Mazure

Bertrand Mazure

Professeur des Universités, Université d'Artois
Dirección de correo verificada de cril.univ-artois.fr
Citado por 1337
intelligence artificielle programmation par contraintes SAT QBF
Florian Lonsing

Florian Lonsing

Computer Science Department, Stanford University
Dirección de correo verificada de cs.stanford.edu
Citado por 1035
Model Checking Verification QBF SAT Satisfiability
Florian Pigorsch

Florian Pigorsch

University of Freiburg
Dirección de correo verificada de informatik.uni-freiburg.de
Citado por 358
QBF AIG SAT Model-Checking Hybrid Systems
Alexandra Goultiaeva

Alexandra Goultiaeva

University of Toronto
Dirección de correo verificada de cs.toronto.edu
Citado por 233
Artificial Intelligence SAT QBF
Friedrich Slivovsky

Friedrich Slivovsky

Postdoc, TU Wien
Dirección de correo verificada de ac.tuwien.ac.at
Citado por 232
QBF SAT Logic in Computer Science Computational Complexity
Tomáš Peitl

Tomáš Peitl

PhD Student, TU Wien
Dirección de correo verificada de ac.tuwien.ac.at
Citado por 48
QBF DQBF SAT Computational Complexity Graph Theory
Maël Valais

Maël Valais

PhD, Institut de Recherche en Informatique de Toulouse
Dirección de correo verificada de irit.fr
Citado por 7
logic SAT SMT QBF
Ankit shukla

Ankit shukla

University of Manchester
Dirección de correo verificada de ncbs.res.in
Citado por 7
Formal methods SAT QBF biology type theory