Author:
Darmann Andreas,Döcker Janosch
Subject
General Computer Science,Theoretical Computer Science
Reference9 articles.
1. On the complexity of deciding whether the regular number is at most two;Dehghan;Graphs Comb.,2015
2. Using a SAT-solver to schedule sports leagues;Horbach;J. Sched.,2012
3. On vertex coloring without monochromatic triangles;Karpinski,2018
4. Pushing the envelope: planning, propositional logic, and stochastic search;Kautz,1996
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献