نمایه‌‌ها

Leonardo de Moura

Amazon Web Services

ایمیل تأیید شده در amazon.com

بیان شده در 23738 یافته

Automated Reasoning Theorem Proving Constraint Solving SAT SMT

Roberto Sebastiani

Full Professor in Computer Science, DISI, University of Trento, Italy

ایمیل تأیید شده در unitn.it

بیان شده در 12242 یافته

SMT SAT Formal Verification Automated Reasoning Artificial Intelligence

Fahiem Bacchus

Professor of Computer Science, University of Toronto

ایمیل تأیید شده در cs.toronto.edu

بیان شده در 12007 یافته

Artificial Intelligence CSPs SAT MaxSat Discrete Optimization

Marijn Heule

Associate Professor of Computer Science, Carnegie Mellon University

ایمیل تأیید شده در cs.cmu.edu

بیان شده در 8781 یافته

Automated Reasoning Formal Verification Parallel Computing SAT

Matti Järvisalo

Professor, University of Helsinki

ایمیل تأیید شده در helsinki.fi

بیان شده در 4827 یافته

Automated reasoning optimization knowledge representation SAT #UnivHelsinkiCS

Alberto Griggio

Researcher, Fondazione Bruno Kessler

ایمیل تأیید شده در fbk.eu

بیان شده در 4777 یافته

automated reasoning formal methods satisfiability SMT SAT

Albert Oliveras

Technical University of Catalonia

ایمیل تأیید شده در lsi.upc.edu

بیان شده در 4538 یافته

SAT SMT Verification

Laurent Simon

Professor of Computer Science, Bordeaux University, France (since 2013)

ایمیل تأیید شده در labri.fr

بیان شده در 4019 یافته

Artificial Intelligence Logic Theorem Proving SAT Diagnostics

Wenqi Huang

Huazhong University of Science and Technology

بیان شده در 3976 یافته

NP Hard Complexity Packing SAT Scheduling

Gilles Audemard

Professor of Computer Science, CRIL, Université d'Artois

ایمیل تأیید شده در cril.fr

بیان شده در 3875 یافته

Constraints SAT SMT CSP QBF

1 - 10