Set constraint model and automated encoding into SAT: application to the social golfer problem期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

Set constraint model and automated encoding into SAT: application to the social golfer problem

Authors:	Frédéric Lardeux Eric Monfroy Broderick Crawford Ricardo Soto

Institution:	1. Karpagam College of Engineering, Coimbatore, India 2. Coimbatore Institute of Technology, Coimbatore, India 3. KPR Institute of Engineering and Technology, Coimbatore, India

Abstract:

Keywords:
本文献已被 SpringerLink 等数据库收录！