Author:
Li Chu Min,Zhu Zhu,Manyà Felip,Simon Laurent
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference22 articles.
1. The first and second Max-SAT evaluations;Argelich;Journal on Satisfiability, Boolean Modeling and Computation,2008
2. Approximating MIN 2-SAT and MIN 3-SAT;Avidor;Theory of Computing Systems,2005
3. Taming the computational complexity of combinatorial auctions: Optimal and approximate approaches;Fujishima,1999
4. 2006 and 2007 Max-SAT evaluations: Contributed instances;Heras;Journal on Satisfiability, Boolean Modeling and Computation,2008
5. The minimum satisfiability problem;Kohli;SIAM J. Discrete Mathematics,1994
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献