Mate Soos

Mate Soos

Ethereum Foundation
Verified email at ethereum.org
Cited by 1642
Symbolic Execution Model Counting IT Security Satisfiability Solving Functional Synthesis
Marcel Walter

Marcel Walter

Technical University of Munich
Verified email at tum.de
Cited by 730
Emerging Technologies Design Automation Physical Design Logic Synthesis Satisfiability Solving
Curtis Bright

Curtis Bright

Assistant Professor, University of Windsor
Verified email at uwindsor.ca
Cited by 391
Computer-assisted Proofs Symbolic Computation Satisfiability Solving Discrete Mathematics Experimental Mathematics
Sebastian Burg

Sebastian Burg

Research Scientist
Verified email at informatik.uni-tuebingen.de
Cited by 15
SAT Satisfiability Solving Software Verification Hardware Verification
Yameen Ajani

Yameen Ajani

Masters in Computer Science, University of Windsor
Verified email at uwindsor.ca
Artificial Intelligence Machine Learning Deep Learning Reinforcement Learning Satisfiability Solving