Miroslav N. Velev

Available identifiers

zbMath Open velev.miroslav-nMaRDI QIDQ1426128

List of research outcomes

Publication	Date of Publication	Type
Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic	2017-06-13	Paper
Boolean satisfiability with transitivity constraints	2017-06-13	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2010-03-09	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q4818814	2004-09-24	Paper
Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4553255	2002-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q2769591	2002-02-05	Paper
https://portal.mardi4nfdi.de/entity/Q2754075	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2754092	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q5655145	1972-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Miroslav N. Velev