Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference71 articles.
1. Parity and the pigeonhole principle;Ajtai,1990
2. Mutilated chessboard problem is exponentially hard for resolution;Alekhnovich;Theor. Comput. Sci.,2004
3. SAT-based MaxSAT algorithms;Ansótegui;Artif. Intell.,2013
4. Exploiting the structure of unsatisfiable cores in maxsat;Ansótegui,2015
5. Clause-learning algorithms with many restarts and bounded-width resolution;Atserias;J. Artif. Intell. Res.,2011
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献