在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
enumerating constrained » answering constrained, cooperations constrained
constrained programming » constraint programming
programming programming » programming programmed, programming program
programming proof » programming problem, programming program, programming project
proof a » proof _
enumerating constrained » answering constrained, cooperations constrained
constrained programming » constraint programming
programming programming » programming programmed, programming program
programming proof » programming problem, programming program, programming project
proof a » proof _
1
出版 2008
書本目錄:
“... Programming for Some NP-Hard Graph Recoloring Problems -- A Linear-Time Algorithm for Finding All Door...”獲取全文
電子
電子書
2
出版 2006
書本目錄:
“... Result -- Incremental Branching Programs -- Logic of Proofs for Bounded Arithmetic -- On a Maximal NFA...”獲取全文
電子
電子書
3
出版 2005
書本目錄:
“... -- An Application of Quantum Finite Automata to Interactive Proof Systems (Extended Abstract) -- Time and Space...”獲取全文
電子
電子書