Automated reasoning

Margarida Ferreira on her AWS Cloud Operations Applied Science Internal

by
Margarida Ferreira on her AWS Cloud Operations Applied Science Internal

Amazon Web Services (AWS) helps automate and ease a lot of what people do online, from managing customer data to scientific research. So it is only appropriate that leaders of AWS Cloud Resources (eg Devops engineers) should get an assist from machine learning on some of their most common tasks. In his role as used … Read more

Use of SAT -S solution to optimize mapping of quantum circuit

by
Use of SAT -S solution to optimize mapping of quantum circuit

Quantum Computing (QC) is a new calculation paradigm that promised significant speedup over classic computing on some problem. Quantum calculations are often representation as complex circuits that intact quantum “gates”, which are analogous to the logic ports in Convental Computers. However, the difficulty of building quantum computers means that the circuits available in the current … Read more