Comparison of Boolean Satisfiability Encodings on FPGA Detailed Routing Problems. - Miroslav N. Velev; Ping Gao 002 (DATE, 2008)

Efficient SAT Techniques for Relative Encoding of Permutations with Constraints. - Miroslav N. Velev; Ping Gao 002 (Australasian Conference on Artificial Intelligence, 2009)

Exploiting hierarchical encodings of equality to design independent strategies in parallel SMT decision procedures for a logic of equality. - Miroslav N. Velev; Ping Gao 002 (HLDVT, 2009)

Efficient SAT-based techniques for Design of Experiments by using static variable ordering. - Miroslav N. Velev; Ping Gao 002 (ISQED, 2009)

Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles. - Miroslav N. Velev; Ping Gao 002 (SARA, 2009)

A method for debugging of pipelined processors in formal verification by correspondence checking. - Miroslav N. Velev; Ping Gao 002 (ASP-DAC, 2010)

Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors. - Miroslav N. Velev; Ping Gao 002 (ICFEM, 2010)

Design of parallel portfolios for SAT-based solving of Hamiltonian cycle problems. - Miroslav N. Velev; Ping Gao 002 (ISAIM, 2010)

Automatic formal verification of reconfigurable DSPs. - Miroslav N. Velev; Ping Gao 002 (ASP-DAC, 2011)

Automatic formal verification of multithreaded pipelined microprocessors. - Miroslav N. Velev; Ping Gao 002 (ICCAD, 2011)

Exploiting Abstraction for Efficient Formal Verification of DSPs with Arrays of Reconfigurable Functional Units. - Miroslav N. Velev; Ping Gao 002 (ICFEM, 2011)

CNF encodings of cardinality in formal methods for robustness checking of gate-level circuits. - Miroslav N. Velev; Ping Gao 002 (ISCAS, 2011)

Efficient Pseudo-Boolean Satisfiability Encodings for Routing and Wavelength Assignment in Optical Networks. - Miroslav N. Velev; Ping Gao 002 (SARA, 2011)

Modular Schemes for Constructing Equivalent Boolean Encodings of Cardinality Constraints and Application to Error Diagnosis in Formal Verification of Pipelined Microprocessors. - Miroslav N. Velev; Ping Gao 002 (SARA, 2011)

Automated debugging of counterexamples in formal verification of pipelined microprocessors. - Miroslav N. Velev; Ping Gao 002 (ASP-DAC, 2012)

Efficient parallel GPU algorithms for BDD manipulation. - Miroslav N. Velev; Ping Gao 002 (ASP-DAC, 2014)

Improving the efficiency of automated debugging of pipelined microprocessors by symmetry breaking in modular schemes for boolean encoding of cardinality. - Miroslav N. Velev; Ping Gao 002 (ICCAD, 2014)

Formal verification of safety of polymorphic heterogeneous multi-core architectures. - Miroslav N. Velev; Ping Gao 002 (ISQED, 2014)

Exploiting abstraction, learning from random simulation, and SVM classification for efficient dynamic prediction of software health problems. - Miroslav N. Velev; Chaoqiang Zhang; Ping Gao 002; Alex David Groce (ISQED, 2015)

Application of Hierarchical Hybrid Encodings to Solve CSPs as Equivalent SAT Problems. - Miroslav N. Velev; Ping Gao 002 (ISAIM, 2016)