Author:
Rodríguez César,Schwoon Stefan
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Lecture Notes in Computer Science;P. Baldan,2010
2. Lecture Notes in Computer Science;P. Baldan,2008
3. Chen, J.: A new SAT encoding of the at-most-one constraint. In: Proc. Constraint Modelling and Reformulation (2010)
4. Codish, M., Genaim, S., Stuckey, P.J.: A declarative encoding of telecommunications feature subscription in SAT. In: Proc. PPDP, pp. 255–266. ACM (2009)
5. Diekert, V., Gastin, P.: From local to global temporal logics over Mazurkiewicz traces. Theoretical Computer Science 356(1-2), 126–135 (2006)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献