Aries Design Automation (United States)

Statistics

Publications

Citations

317

Location

Chicago, United States

Aries Design Automation (United States) is a company institution in Chicago, United States known for computer science, boolean satisfiability problem, and satisfiability.

Homepage ROR

Top concepts

Computer ScienceComputingAlgorithmsSatisfiabilityComputer EngineeringComputer ArchitectureTheory Of ComputationBoolean SatisfiabilityBoolean Satisfiability ProblemRouting

Publications

Efficient SAT Techniques for Absolute Encoding of Permutation Problems: Application to Hamiltonian Cycles

Miroslav N. Velev, Ping Gao · 2009 · 22 citations

Computing, Computer Science, Mathematics +14

Comparison of Boolean satisfiability encodings on FPGA detailed routing problems

Miroslav N. Velev, Ping Gao · 2008 · 20 citations

Engineering, Computer Engineering, Computer Science +14

A method for debugging of pipelined processors in formal verification by Correspondence Checking

Miroslav N. Velev, Ping Gao · 2010 · 10 citations

Computing, Computer Engineering, Computer Science +16

1–3 of 39