首页 /研究 /Ricochet Robots: A Transverse ASP Benchmark
OTHER

Ricochet Robots: A Transverse ASP Benchmark

Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider

发表年份
2013
引用次数
15

关键词

Computer scienceAnswer set programmingBenchmark (surveying)Boosting (machine learning)SatisfiabilityIntersection (aeronautics)Feature (linguistics)Theoretical computer scienceMathematical optimizationRobot

相关论文

查看 OTHER 分类全部论文