Author:
Gaggl Sarah A.,Linsbichler Thomas,Maratea Marco,Woltran Stefan
Funder
German Research Foundation
Austrian Science Fund
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference81 articles.
1. Model enumeration in propositional circumscription via unsatisfiable core analysis;Alviano;Theory Pract. Log. Program.,2017
2. ASPQ: an ASP-based 2QBF solver;Amendola,2016
3. Computational Complexity – A Modern Approach;Arora,2009
4. Towards artificial argumentation;Atkinson;AI Mag.,2017
5. Predicting learnt clauses quality in modern SAT solvers;Audemard,2009
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献