Boolean programming; Puzzles; 0-1 inequalities; Truth-tellers and liars; Graphs; optimization; Greedy algorithm; Backtrack;
机译:布尔规划的向量问题的拟文字优化的稳定性半径。
机译:为困惑者编程:在解决难题时学会编程,
机译:难题—解决n分形难题作为约束编程问题
机译:布尔编程,讲真话的骗子和相关图
机译:与布尔程序和量化布尔公式的PSPACE推理能力相关。
机译:使用答案集编程从时间序列数据修复布尔逻辑模型
机译:学习模型检查难题,用于编程难题的模型检查难题,用于测试模型检查器的难题