University of Southern California;
机译:使DNA计算机自动化:解决n变量3-SAT问题
机译:将具有SAT解算器的计算机代数系统应用于威廉姆森猜想
机译:将SAT解算器与计算机代数系统相结合以验证组合猜想
机译:使DNA计算机自动化:解决n变量3-SAT问题
机译:在计算机程序中用于计算裂变产物释放分数的热力学求解器的实现。
机译:对临床前学生进行免疫学测试的基于计算机的问题解决考试的实现
机译:鸟:工程有效的CNF-XOR SAT求解器及其应用于近似模型计数