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/Q3522508	2008-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q3522514	2008-09-03	Paper
Asymptotically optimal circuits for arbitrary \(n\)-qubit diagonal computations	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
The \(C^*\)-algebra generated by a noncommutative circle	2001-09-18	Paper

Research outcomes over time

This page was built for person: Igor L. Markov