| 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
IEEE Transactions on Computers | 2018-06-12 | Paper |
Symmetry breaking for pseudo-Boolean formulas
ACM Journal of Experimental Algorithmics | 2017-06-15 | Paper |
Simulation of Quantum Circuits via Stabilizer Frames
IEEE Transactions on Computers | 2017-05-16 | Paper |
Synthesis and optimization of reversible circuits -- a survey
ACM Computing Surveys | 2014-08-13 | Paper |
Constant-optimized quantum circuits for modular multiplication and exponentiation
(available as arXiv preprint) | 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
Lecture Notes in Electrical Engineering | 2012-06-15 | Paper |
Conflict Anticipation in the Search for Graph Automorphisms
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
Fast equivalence-checking for quantum circuits
(available as arXiv preprint) | 2011-10-05 | Paper |
Constant-degree graph expansions that preserve treewidth
Algorithmica | 2011-03-30 | Paper |
Symmetry and Satisfiability: An Update
Theory and Applications of Satisfiability Testing – SAT 2010 | 2010-09-29 | Paper |
| VLSI physical design. From graph partitioning to timing closure | 2010-08-03 | Paper |
Dynamic symmetry-breaking for Boolean satisfiability
Annals of Mathematics and Artificial Intelligence | 2010-06-16 | Paper |
| Quantum Circuit Simulation | 2009-11-26 | Paper |
scientific article; zbMATH DE number 5568624 (Why is no real title available?)
(available as arXiv preprint) | 2009-06-23 | Paper |
Simulating Quantum Computation by Contracting Tensor Networks
SIAM Journal on Computing | 2009-06-22 | Paper |
Breaking instance-independent symmetries in exact graph coloring
(available as arXiv preprint) | 2009-04-28 | Paper |
Optimal synthesis of linear reversible circuits
(available as arXiv preprint) | 2008-11-03 | Paper |
Functional design errors in digital circuits. Diagnosis correction and repair
Lecture Notes in Electrical Engineering | 2008-10-23 | Paper |
scientific article; zbMATH DE number 5320302 (Why is no real title available?)
(available as arXiv preprint) | 2008-09-03 | Paper |
Graph-based simulation of quantum computation in the density matrix representation
(available as arXiv preprint) | 2008-09-03 | Paper |
| Asymptotically optimal circuits for arbitrary \(n\)-qubit diagonal computations | 2008-09-03 | Paper |
Recent Advances in Constraints
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Improving gate-level simulation of quantum circuits
Quantum Information Processing | 2005-11-07 | Paper |
Design and implementation of move-based heuristics for VLSI hypergraph partitioning
ACM Journal of Experimental Algorithmics | 2005-08-04 | Paper |
Resolution cannot polynomially simulate compressed-BFS
Annals of Mathematics and Artificial Intelligence | 2005-05-20 | Paper |
| scientific article; zbMATH DE number 1926658 (Why is no real title available?) | 2003-06-11 | Paper |
Efficient optimization by modifying the objective function: applications to timing-driven VLSI layout
IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications | 2002-07-21 | Paper |
| The \(C^*\)-algebra generated by a noncommutative circle | 2001-09-18 | Paper |
