Theory and Applications of Satisfiability Testing: 6th...

Main
Computers - Computer Science
Theory and Applications of...

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

Name: Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers
ISBN: 9783540208518

Enrico Giunchiglia, Armando Tacchella

0 / 0

0 comments

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

种类:

Computers - Computer Science

年:

2004

出版:

2004

出版社:

Springer

语言:

english

页:

530

ISBN 10:

3540208518

ISBN 13:

9783540208518

系列:

LNCS 2919

文件:

PDF, 4.37 MB

IPFS:

english, 2004

线上阅读

正在转换

转换为失败

Theory and Applications of Satisfiability Testing: 6th...

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

关键词