Satisfiability problem; 3-SAT problem; NP-complete problem; Not-All-Equal 3-SAT problem; Molecular Solution; DNA-based Supercomputing;
机译:在多项式层次结构中放置3-SAT和NOT-全均等于3-SAT的量化变体
机译:在一个单独等于3-SAT的简单硬变量
机译:NOT-全均等于4-常规的4均匀图3-SAT和2色调
机译:基于DNA的算法,用于解决非全面的3-SAT问题的解决方案
机译:3-SAT的参数化算法
机译:基于DNA的快速并行分子算法:求解GF(2n)上的椭圆曲线离散对数问题
机译:在多项式层次结构中放置3-SAT和NOT-全均等于3-SAT的量化变体
机译:自适应解决方案策略:局部约束的Newton Raphson解算法