Ziyad Hanna

Available identifiers

zbMath Open hanna.ziyadMaRDI QIDQ2845510

List of research outcomes

Publication	Date of Publication	Type
Encoding RTL constructs for \textsc{MathSAT}: a preliminary report	2013-09-26	Paper
SAT-based methods for sequential hardware equivalence verification without synchronization	2013-08-30	Paper
A Scalable Algorithm for Minimal Unsatisfiable Core Extraction	2007-09-04	Paper
Hardware and Software, Verification and Testing	2007-02-12	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4551143	2002-09-04	Paper

Research outcomes over time

This page was built for person: Ziyad Hanna