Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Joao Marques-Silva
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
IEEE Transactions on Software Engineering
Software
Automated Design Debugging With Maximum Satisfiability
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
New & Improved Models for SAT-based Bi-Decomposition
On Computing Generalized Backbones
Spatial and Temporal Design Debug Using Partial MaxSAT
