Miroslav N. Velev

Miroslav N. Velev

Aries Design Automation, LLC
Email verificata su aries-da.com
Citato da 2251
formal verification Boolean Satisfiability SAT solving of Constraint Satisfaction Problems by …
George Katsirelos

George Katsirelos

INRAE
Email verificata su inrae.fr
Citato da 1959
Artificial Intelligence Constraint Satisfaction Boolean Satisfiability Combinatorial Optimization
Martin Suda

Martin Suda

Czech Technical University in Prague
Email verificata su cvut.cz
Citato da 1753
Automated theorem proving Machine Learning Automated Planning Boolean Satisfiability
Alexander A. Semenov

Alexander A. Semenov

Senior Researcher, ITMO University
Email verificata su itmo.ru
Citato da 1176
Boolean satisfiability computational complexity cryptanalysis
Stefan Frehse

Stefan Frehse

Email verificata su mailbox.org
Citato da 491
Formal Verification Boolean Satisfiability EDA Reliability Automated Debugging
Sam Bayless

Sam Bayless

University of British Columbia, Amazon Web Services
Email verificata su cs.ubc.ca
Citato da 380
Computer Science Boolean Satisfiability Formal Methods
Alexander Wolpert

Alexander Wolpert

Professor of Computer Science, Roosevelt University
Email verificata su roosevelt.edu
Citato da 256
Boolean Satisfiability Machine Learning
Ilya Otpuschennikov

Ilya Otpuschennikov

Matrosov Institute for System Dynamics and Control Theory SB RAS
Citato da 215
Boolean satisfiability cryptanalysis parallel computations
Clemens Münzer

Clemens Münzer

Engineering Design and Computing Laboratory, ETH Zürich
Email verificata su ethz.ch
Citato da 166
Computational Design Synthesis Logic Grammar Simulation Boolean Satisfiability
Chris Cameron

Chris Cameron

PhD Candidate, University of British Columbia
Email verificata su cs.ubc.ca
Citato da 113
machine learning for combinatorial … boolean satisfiability graph neural networks
1 - 10