Author:
Argelich Josep,Cabiscol Alba,Lynce Inês,Manyà Felip
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Stochastic local search for Partial Max-SAT: an experimental evaluation;Artificial Intelligence Review;2020-09-26
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. SAT encodings of a classical problem: a case study;Artificial Intelligence: Foundations, Theory, and Algorithms;2015
4. SAT encodings;Artificial Intelligence: Foundations, Theory, and Algorithms;2015
5. Experimenting with the Instances of the MaxSAT Evaluation;FRONT ARTIF INTEL AP;2011