Author:
Argelich Josep,Cabiscol Alba,Lynce Inês,Manyà Felip
Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Lecture Notes in Computer Science;C. Ansótegui,2005
2. Argelich, J., Cabiscol, A., Lynce, I., Manyà, F.: Encoding Max-CSP into Partial Max-SAT. In: ISMVL 2008 (2008)
3. Lecture Notes in Computer Science;J. Argelich,2008
4. Argelich, J., Cabiscol, A., Lynce, I., Manyà, F.: Regular encodings from Max-CSP into Partial Max-SAT. In: ISMVL 2009 (2009)
5. Argelich, J., Li, C.M., Manyà, F.: An improved exact solver for Partial Max-SAT. In: NCP-2007, pp. 230–231 (2007)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. SAT Encodings of Finite-CSP Domains;Proceedings of the Eighth International Symposium on Information and Communication Technology;2017-12-07
2. A New Method to Encode the At-Most-One Constraint into SAT;Proceedings of the Sixth International Symposium on Information and Communication Technology;2015-12-03
3. MinSAT versus MaxSAT for Optimization Problems;Lecture Notes in Computer Science;2013
4. New Insights into Encodings from MaxCSP into Partial MaxSAT;2010 40th IEEE International Symposium on Multiple-Valued Logic;2010