( en | de | ru )

 

Disambiguation of "Markov, Igor L."

Author of the publication

copydeleteadd this publication to your clipboard
Dynamic symmetry-breaking for improved Boolean optimization.

, , , and . ASP-DAC, page 445-450. ACM Press, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Walter Markov

Kostyantyn Markov

Valentin Markov

Erika Markov

Aleksander Markov

 

Other publications of authors with the same name

Efficient Gate and Input Ordering for Circuit-to-BDD Conversion., , and . IWLS, page 137-142. (2002)Utility of the OpenAccess database in academic research., , and . ASP-DAC, page 440-441. IEEE, (2006)Symmetry and Satisfiability: An Update., , and . SAT, volume 6175 of Lecture Notes in Computer Science, page 113-127. Springer, (2010)Generalized Boolean symmetries through nested partition refinement., , and . ICCAD, page 763-770. IEEE, (2013)Circuit Placement., and . Encyclopedia of Algorithms, (2016)Simulation of Quantum Circuits via Stabilizer Frames., and . IEEE Trans. Computers, 64 (8): 2323-2336 (2015)Functional Design Errors in Digital Circuits - Diagnosis, Correction and Repair, , and . Lecture Notes in Electrical Engineering Springer, (2009)Design, Analysis and Test of Logic Circuits Under Uncertainty, , and . Lecture Notes in Electrical Engineering Springer, (2013)Quantum Circuit Simulation., , and . Springer, (2009)Hypergraph Partitioning with Fixed Vertices., , and . DAC, page 355-359. ACM Press, (1999)