Publisher
Springer Nature Switzerland
Reference29 articles.
1. Lecture Notes in Computer Science;M Alekhnovich,1998
2. Lecture Notes in Computer Science;A Bakhirkin,2017
3. Lecture Notes in Computer Science;N Bjørner,2015
4. Chandrasekaran, R., Subramani, K.: A combinatorial algorithm for Horn programs. Discret. Optim. 10, 85–101 (2013)
5. Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. The MIT Press, Cambridge (2009)