Parallel Satisfiability Solver Based on Hybrid Partitioning Method

Authors

Tarek Menouer, Souheib Baarir

Where

Proceedings of the 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP)

Place

St. Petersburg, Russia

Type

inproceedings

Projects

Spot

Date

2017-03-01

Bibtex (lrde.bib)

@InProceedings{	  menouer.17.pdp,
  author	= {Tarek Menouer and Souheib Baarir},
  title		= {Parallel Satisfiability Solver Based on Hybrid
		  Partitioning Method},
  booktitle	= {Proceedings of the 25th Euromicro International Conference
		  on Parallel, Distributed and Network-based Processing
		  (PDP)},
  address	= {St. Petersburg, Russia},
  month		= mar,
  pages		= {54--60},
  year		= {2017}
}