Boolean algebra; graph theory; algorithm theory; backtracking; mathematical programming; Boolean programming; truth teller liar puzzle; inequality constraint; graph representation construction; nonlinear constraint; critical edge representation; graph al;
机译:布尔规划的向量问题的拟文字优化的稳定性半径。
机译:为困惑者编程:在解决难题时学会编程,
机译:难题—解决n分形难题作为约束编程问题
机译:布尔编程,真实柜员骗子拼图和相关图
机译:与布尔程序和量化布尔公式的PSPACE推理能力相关。
机译:使用答案集编程从时间序列数据修复布尔逻辑模型
机译:学习模型检查难题,用于编程难题的模型检查难题,用于测试模型检查器的难题