IntSat: integer linear programming by conflict-driven constraint learning

标题
IntSat: integer linear programming by conflict-driven constraint learning
作者
关键词
-
出版物
OPTIMIZATION METHODS & SOFTWARE
Volume -, Issue -, Pages 1-28
出版商
Informa UK Limited
发表日期
2023-09-27
DOI
10.1080/10556788.2023.2246167

向作者/读者发起求助以获取更多资源

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started