Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference78 articles.
1. Foundations of Databases;Abiteboul,1995
2. Control flow analysis;Allen;SIGPLAN Not.,1970
3. Henkin quantifiers and boolean formulae: a certification perspective of DQBF;Balabanov;Theor. Comput. Sci.,2014
4. Satisfiability modulo theories;Barrett,2009
5. Constraint propagation;Bessiere,2006
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献