来源:International Journal of Physical Sciences , 2011
作者:Eric Monfroy
关键词:Boolean satisfiability problem (SAT);computer science;...
使用许可:CC BY
来源:International Journal of Physical Sciences , 2011
作者:Eric Monfroy
关键词:Boolean satisfiability problem (SAT);computer science;...
使用许可:CC BY