Cloud-Oriented SAT Solver Based on Obfuscating CNF Formula
In: Web Technologies and Applications : APWeb 2014 Workshops, SNA, NIS, Jg. 8710 (2014), S. 188-199
Online
E-Book
Zugriff:
Titel: |
Cloud-Oriented SAT Solver Based on Obfuscating CNF Formula
|
---|---|
Autor/in / Beteiligte Person: | Qin, Ying ; Shen, Shengyu ; Kong, Jingzhu ; Dai, Huadong ; Hutchison, David, Series editor ; Kanade, Takeo, Series editor ; Kittler, Josef, Series editor ; Kleinberg, Jon M., Series editor ; Kobsa, Alfred, Series editor ; Mattern, Friedemann, Series editor ; Mitchell, John C., Series editor ; Naor, Moni, Series editor ; Nierstrasz, Oscar, Series editor ; Pandu Rangan, C., Series editor ; Steffen, Bernhard, Series editor ; Terzopoulos, Demetri, Series editor ; Tygar, Doug, Series editor ; Weikum, Gerhard, Series editor ; Han, Weihong [Ed.] ; Huang, Zi [Ed.] ; Hu, Changjun [Ed.] ; Zhang, Hongli [Ed.] ; Guo, Li [Ed.] |
Zeitschrift: | Web Technologies and Applications : APWeb 2014 Workshops, SNA, NIS, Jg. 8710 (2014), S. 188-199 |
Veröffentlichung: | 2014 |
Medientyp: | E-Book |
ISBN: | 978-3-319-11118-6 (print) ; 978-3-319-11119-3 (print) |
DOI: | 10.1007/978-3-319-11119-3_18 |
Sonstiges: |
|