Computer Science – Software Engineering
Scientist
Computer Science
Software Engineering
Scientist
University College Dublin
CSI / CASL
A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem
Algorithms for finding dispensable variables
Algorithms for Weighted Boolean Optimization
Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking
Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
No associations
LandOfFree
Joao Marques-Silva does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Joao Marques-Silva, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Joao Marques-Silva will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-148657