NCE/Instituto de Matematica, UFRJ, Rio de Janeiro, Brazil;
higher-order networks; graph colouring; pseudo-boolean constraints; satisfiability; simulated annealing; TSP;
机译:在组合和连续搜索空间中以景观分析为指导的约束处理
机译:由组合和连续搜索空间中的横向分析引导的约束处理
机译:使用多目标选择性筛选和组合文库的下一代测序方法绘制蛋白质选择性图谱
机译:通过伪布尔约束将组合问题与组合问题相结合。通过伪布尔约束来实现能量景观
机译:使用粗粒序列能量图设计蛋白质能量图谱
机译:使用多目标选择性筛选和组合文库的下一代测序技术绘制蛋白质选择性图谱
机译:用于纳米合金结构优化的准组合能态