A Satisfiability Algorithm for AC^0
収録刊行物
-
- Proceedings of the 23rd Annual ACMSIAM Symposium on Discrete Algorithms (SODA), 2012
-
Proceedings of the 23rd Annual ACMSIAM Symposium on Discrete Algorithms (SODA), 2012 961-972, 2012