ResearcherID Thomson Reuters  

Manquinho, Vasco
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: A-1774-2009
URL: http://www.researcherid.com/rid/A-1774-2009
ORCID: http://orcid.org/0000-0002-4205-2189
My Institutions (more details)
Primary Institution:
Sub-org/Dept:
Role:
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  4  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Deterministic parallel MaxSAT solving
 Author(s): Martins, R.; Manquinho, V.; Lynce, I.
 Source: International Journal on Artificial Intelligence Tools Volume: 24 Issue: 3 Published: 2015
 Times Cited: 0
 DOI: 10.1142/S0218213015500050 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84930799888&partnerID=MN8TOAR ...
added
28-Jan-16
2.  Title: Generalized Totalizer encoding for pseudo-boolean constraints
 Author(s): Joshi, S.; Martins, R.; Manquinho, V.
 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume: 9255 Pages: 200-209 Published: 2015
 Times Cited: 0
 DOI: 10.1007/978-3-319-23219-5_15 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84944552496&partnerID=MN8TOAR ...
added
28-Jan-16
3.  Title: Improving linear search algorithms with model-based approaches for MaxSAT solving
 Author(s): Martins, R.; Manquinho, V.; Lynce, I.
 Source: Journal of Experimental and Theoretical Artificial Intelligence Volume: 27 Issue: 5 Pages: 673-701 Published: 2015
 DOI: 10.1080/0952813X.2014.993508 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84940605701&partnerID=MN8TOAR ...
added
28-Jan-16
4.  Title: Efficient autarkies
 Author(s): Marques-Silva, J.; Ignatiev, A.; Morgado, A.; et al.
 Source: Frontiers in Artificial Intelligence and Applications Volume: 263 Pages: 603-608 Published: 2014
 Times Cited: 1
 DOI: 10.3233/978-1-61499-419-0-603 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84923183414&partnerID=MN8TOAR ...
added
28-Jan-16
5.  Title: Incremental cardinality constraints for MaxSAT
 Author(s): Martins, R.; Joshi, S.; Manquinho, V.; et al.
 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume: 8656 LNCS Pages: 531-548 Published: 2014
 DOI: 10.1007/978-3-319-10428-7_39 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84906232748&partnerID=MN8TOAR ...
added
28-Jan-16
6.  Title: Inferring phylogenetic trees using pseudo-Boolean optimization
 Author(s): Miranda, M.; Lynce, I.; Manquinho, V.
 Source: AI Communications Volume: 27 Issue: 3 Pages: 229-243 Published: 2014
 Times Cited: 1
 DOI: 10.3233/AIC-140592 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84901757092&partnerID=MN8TOAR ...
added
28-Jan-16
7.  Title: Open-WBO: A modular MaxSAT solver
 Author(s): Martins, R.; Manquinho, V.; Lynce, I.
 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume: 8561 LNCS Pages: 438-445 Published: 2014
 DOI: 10.1007/978-3-319-09284-3-33 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84904749867&partnerID=MN8TOAR ...
added
28-Jan-16
8.  Title: Progression in maximum satisfiability
 Author(s): Ignatiev, A.; Morgado, A.; Manquinho, V.; et al.
 Source: Frontiers in Artificial Intelligence and Applications Volume: 263 Pages: 453-458 Published: 2014
 Times Cited: 1
 DOI: 10.3233/978-1-61499-419-0-453 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84923167417&partnerID=MN8TOAR ...
added
28-Jan-16
9.  Title: Community-based partitioning for MaxSAT solving
 Author(s): Martins, R.; Manquinho, V.; Lynce, I.
 Source: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Volume: 7962 LNCS Pages: 182-191 Published: 2013
 DOI: 10.1007/978-3-642-39071-5_14 /  Author-provided URL : http://www.scopus.com/inward/record.url?eid=2-s2.0-84879904438&partnerID=MN8TOAR ...
added
10-Oct-14
10.  Title: An overview of parallel SAT solving
 Author(s): Martins, Ruben; Manquinho, Vasco; Lynce, Ines
 Source: Constraints Volume: 17 Issue: 3 Pages: 304-347 Published: JUL 2012
 Times Cited: 16
 DOI: 10.1007/s10601-012-9121-3
added
29-Nov-12
publication(s)  
First Page Previous Page Page   of  4  Go Next Page Last Page
  Sort by:    Results per page: