Martijn Brehm

量子コンピューティングがSAT問題を解く時の性能について、古典的な方法と比べた深掘り。