IEEE - Institute of Electrical and Electronics Engineers, Inc. - Automatic parallel SAT solving using MTSS

2009 International Conference on High Performance Computing & Simulation (HPCS)

Author(s): Vander-Swalmen, P. ; Krajecki, M. ; Dequen, G.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2009
Conference Location: Leipzig, Germany, Germany
Conference Date: 21 June 2009
Page(s): 176 - 177
ISBN (CD): 978-1-4244-4907-1
ISBN (Paper): 978-1-4244-4906-4
DOI: 10.1109/HPCSIM.2009.5191794
Regular:

Satisfiability Problem is a great and competitive practical approach to solve a wide range of industrial and academic problems. The size and difficulty of the SAT instances have grown... View More

Advertisement