ALGOS Logo

Ricardo Sousa Marques 
Alumni
At Inesc since: 2009-10-01
At Inesc until: 2012-12-31
 
 
 
Publications
International Conferences
-Ricardo Sousa Marques and Luis Guerra e Silva and Paulo Flores and L. Miguel Silveira, Improving sat solver efficiency using a multi-core approach, International Florida Artificial Intelligence Research Society Conference (FLAIRS), May. 2013 , pp. 94-99 . [bibTeX]
 
 
Technical Reports
-Ricardo Sousa Marques and Luis Guerra e Silva and Paulo Flores and L. Miguel Silveira, Improving SAT Solver Efficiency using a Cooperative Multicore Approach, INESC-ID Tec. Rep. 28/2012, Oct 2012. [bibTeX]
 
-Ricardo Sousa Marques and Luis Guerra e Silva and Paulo Flores and L. Miguel Silveira, cmcSAT - A Cooperative MultiCore SAT Solver, INESC-ID Tec. Rep. 20/2012, Jul 2012. [bibTeX]
 
 
MSc Theses
-Ricardo Sousa Marques, Parallel SAT Solver, MSc Thesis, Instituto Superior Técnico, Universidade Técnica de Lisboa, Dec 2013 (*). [bibTeX]
 
 
Other Publications
-Ricardo Sousa Marques and Luis Guerra e Silva and Paulo Flores and L. Miguel Silveira, pmcSAT[bibTeX]
 
-Ricardo Sousa Marques, pmcSAT[bibTeX]