3 ms·
This is a proposed work for a Master's thesis. It seems to be from 2013, so I wonder whether it was successful? If I had to guess, I would think implementing a
by petters 10y ago
This is a proposed work for a Master's thesis. It seems to be from 2013, so I wonder whether it was successful?
If I had to guess, I would think implementing a SAT solver on a GPU is quite hard. Many branches etc.
- raverbashing 10y agoIt would be interesting to apply probabilistic algorithms for SAT solving in GPUs
- wmu 10y agoLook at http://algos.inesc-id.pt/~pff/projects/parsat/?Publications http://algos.inesc-id.pt/~pff/projects/parsat/?Publications It seems Mr Costa has graduated, but the link to his thesis points to an empty pdf.
- deepnet 10y agohttps://fenix.tecnico.ulisboa.pt/downloadFile/395146463244/resumo.pdf https://fenix.tecnico.ulisboa.pt/downloadFile/395146463244/r... from May 2014 [pdf]