Igor L. Markov

Available identifiers

zbMath Open markov.igor-lWikidataQ102249407 ScholiaQ102249407MaRDI QIDQ427731

List of research outcomes

Publication	Date of Publication	Type
VLSI Physical Design: From Graph Partitioning to Timing Closure	2023-11-06	Paper
Solution and Optimization of Systems of Pseudo-Boolean Constraints	2018-06-12	Paper
Symmetry breaking for pseudo-Boolean formulas	2017-06-15	Paper
Simulation of Quantum Circuits via Stabilizer Frames	2017-05-16	Paper
Synthesis and optimization of reversible circuits—a survey	2014-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q3166025	2012-10-21	Paper
Graph Symmetry Detection and Canonical Labeling: Differences and Synergies	2012-08-30	Paper
Design, analysis and test of logic circuits under uncertainty	2012-06-15	Paper
Conflict Anticipation in the Search for Graph Automorphisms	2012-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q3171609	2011-10-05	Paper
Constant-degree graph expansions that preserve treewidth	2011-03-30	Paper
Symmetry and Satisfiability: An Update	2010-09-29	Paper
VLSI Physical Design: From Graph Partitioning to Timing Closure	2010-08-03	Paper
Dynamic symmetry-breaking for Boolean satisfiability	2010-06-16	Paper
Quantum Circuit Simulation	2009-11-26	Paper
https://portal.mardi4nfdi.de/entity/Q3633950	2009-06-23	Paper
Simulating Quantum Computation by Contracting Tensor Networks	2009-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q3624016	2009-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q3534618	2008-11-03	Paper
Functional design errors in digital circuits. Diagnosis correction and repair	2008-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q3522464	2008-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q3522508	2008-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q3522514	2008-09-03	Paper
Recent Advances in Constraints	2005-11-11	Paper
Improving gate-level simulation of quantum circuits	2005-11-07	Paper
Design and implementation of move-based heuristics for VLSI hypergraph partitioning	2005-08-04	Paper
Resolution cannot polynomially simulate compressed-BFS	2005-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q4707784	2003-06-11	Paper
Efficient optimization by modifying the objective function: applications to timing-driven VLSI layout	2002-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q2743958	2001-09-18	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: Igor L. Markov