搜索历史记录选项已关闭,请开启搜索历史记录选项。
作者: Stefan Szeider , Marko Samer
DOI: 10.3233/978-1-58603-929-5-425
关键词: Computer science 、 Mathematical optimization
摘要:
theory and applications of satisfiability testing,2009, 引用: 6
Logic and Automata,2007, 引用: 91
international joint conference on artificial intelligence,2011, 引用: 10
symposium on discrete algorithms,2013, 引用: 13
foundations of software technology and theoretical computer science,2009, 引用: 0
Discrete Applied Mathematics,2014, 引用: 21
The Multivariate Algorithmic Revolution and Beyond,2012, 引用: 97
Theory of Computing Systems,2017, 引用: 21
Journal of Symbolic Logic,2007, 引用: 4
Journal of Computer and System Sciences,2010, 引用: 99