The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Vasco M. Manquinho" ( http://dblp.L3S.de/Authors/Vasco_M._Manquinho )

  Author page on DBLP  Author page in RDF  Community of Vasco M. Manquinho in ASPL-2

Publication years (Num. hits)
1997-2008 (21) 2009-2012 (16) 2013-2015 (15) 2016-2019 (17)
Publication types (Num. hits)
article(26) incollection(3) inproceedings(40)
Venues (Conferences, Journals, ...)
CoRR(10) SAT(10) CP(5) ICTAI(5) JSAT(5) ECAI(4) IJCAI(3) AAAI(2) AI Commun.(2) DATE(2) AMAI(1) Ann. Math. Artif. Intell.(1) Constraints(1) Electr. Notes Theor. Comput. S...(1) EPIA(1) FLAIRS Conference(1) More (+10 of total 31)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords

Results
Found 70 publication records. Showing 69 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ruben Martins, Saurabh Joshi 0001, Vasco M. Manquinho, Inês Lynce Reflections on "Incremental Cardinality Constraints for MaxSAT". Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho Virtual machine consolidation using constraint-based multi-objective optimization. Search on Bibsonomy J. Heuristics The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miguel Terra-Neves, Nuno Machado, Inês Lynce, Vasco M. Manquinho Concurrency Debugging with MaxSMT. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andreia P. Guerreiro, Miguel Terra-Neves, Inês Lynce, José Rui Figueira, Vasco M. Manquinho Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco M. Manquinho Encodings for Enumeration-Based Program Synthesis. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pedro L. Varela, Inês Lynce, Vasco M. Manquinho, Claudine Chaouiya, Pedro T. Monteiro Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Inês Lynce, Vasco M. Manquinho, Ruben Martins Parallel Maximum Satisfiability. Search on Bibsonomy Handbook of Parallel Constraint Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho Enhancing Constraint-Based Multi-Objective Combinatorial Optimization. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho Stratification for Constraint-Based Multi-Objective Combinatorial Optimization. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho Multi-Objective Optimization Through Pareto Minimal Correction Subsets. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mikolas Janota, Radu Grigore, Vasco M. Manquinho On the Quest for an Acyclic Graph. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho Introducing Pareto Minimal Correction Subsets. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Filipe Gouveia, Pedro T. Monteiro, Vasco M. Manquinho, Inês Lynce Logic-Based Encodings for Ricochet Robots. Search on Bibsonomy EPIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, Radu Grigore, Vasco M. Manquinho On the Quest for an Acyclic Graph. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
1Miguel Terra-Neves, Inês Lynce, Vasco M. Manquinho Non-Portfolio Approaches for Distributed Maximum Satisfiability. Search on Bibsonomy ICTAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xujie Si, Xin Zhang, Vasco M. Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik On Incremental Core-Guided MaxSAT Solving. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce Improving linear search algorithms with model-based approaches for MaxSAT solving. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce Deterministic Parallel MaxSAT Solving. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miguel Neves 0001, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco M. Manquinho Exploiting Resolution-based Representations for MaxSAT Solving. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Saurabh Joshi 0001, Ruben Martins, Vasco M. Manquinho Generalized Totalizer Encoding for Pseudo-Boolean Constraints. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Miguel Neves 0001, Inês Lynce, Vasco M. Manquinho DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Miguel Neves 0001, Ruben Martins, Mikolás Janota, Inês Lynce, Vasco M. Manquinho Exploiting Resolution-Based Representations for MaxSAT Solving. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Saurabh Joshi 0001, Ruben Martins, Vasco M. Manquinho Generalized Totalizer Encoding for Pseudo-Boolean Constraints. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Miguel Miranda, Inês Lynce, Vasco M. Manquinho Inferring phylogenetic trees using pseudo-Boolean optimization. Search on Bibsonomy AI Commun. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Saurabh Joshi 0001, Vasco M. Manquinho, Inês Lynce On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving. Search on Bibsonomy JSAT The full citation details ... 2014 DBLP  BibTeX  RDF
1Ruben Martins, Saurabh Joshi 0001, Vasco M. Manquinho, Inês Lynce Incremental Cardinality Constraints for MaxSAT. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce, João Marques-Silva Progression in Maximum Satisfiability. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1João Marques-Silva, Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce Efficient Autarkies. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce Open-WBO: A Modular MaxSAT Solver, . Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Saurabh Joshi 0001, Vasco M. Manquinho, Inês Lynce Incremental Cardinality Constraints for MaxSAT. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce Community-Based Partitioning for MaxSAT Solving. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce Parallel search for maximum satisfiability. Search on Bibsonomy AI Commun. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, Inês Lynce, Vasco M. Manquinho, João Marques-Silva PackUp: Tools for Package Upgradability Solving. Search on Bibsonomy JSAT The full citation details ... 2012 DBLP  BibTeX  RDF
1Rui Henriques, Inês Lynce, Vasco M. Manquinho On When and How to use SAT to Mine Frequent Itemsets Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce An overview of parallel SAT solving. Search on Bibsonomy Constraints The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce Clause Sharing in Parallel MaxSAT. Search on Bibsonomy LION The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce On Partitioning for Maximum Satisfiability. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. Search on Bibsonomy ICTAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wei-Chung Kao, Wei-Shun Chuang, Shiu-Ting Lin, Chien-Mo James Li, Vasco M. Manquinho DFT and Minimum Leakage Pattern Generation for Static Power Reduction During Test and Burn-In. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Nuno P. Lopes, Levent Aksoy, Vasco M. Manquinho, José Monteiro Optimally Solving the MCM Problem Using Pseudo-Boolean Satisfiability Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1João Delgado, Inês Lynce, Vasco M. Manquinho Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes. Search on Bibsonomy Journal of Computational Biology The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vasco M. Manquinho, Ruben Martins, Inês Lynce Improving Unsatisfiability-Based Algorithms for Boolean Optimization. Search on Bibsonomy SAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ruben Martins, Vasco M. Manquinho, Inês Lynce Improving Search Space Splitting for Parallel SAT Solving. Search on Bibsonomy ICTAI (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vasco M. Manquinho, João P. Marques Silva, Jordi Planes Algorithms for Weighted Boolean Optimization Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Olivier Roussel, Vasco M. Manquinho Pseudo-Boolean and Cardinality Constraints. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1João Delgado, Inês Lynce, Vasco M. Manquinho Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization. Search on Bibsonomy RECOMB-CG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Vasco M. Manquinho, João P. Marques Silva, Jordi Planes Algorithms for Weighted Boolean Optimization. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Inês Lynce, Vasco M. Manquinho, João Marques-Silva Backtracking. Search on Bibsonomy Wiley Encyclopedia of Computer Science and Engineering The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ewald Speckenmeyer, Armando Tacchella, Vasco M. Manquinho, Chu Min Li Guest Editors Conclusion. Search on Bibsonomy JSAT The full citation details ... 2008 DBLP  BibTeX  RDF
1João Marques-Silva, Inês Lynce, Vasco M. Manquinho Symmetry Breaking for Maximum Satisfiability Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1João Marques-Silva, Inês Lynce, Vasco M. Manquinho Symmetry Breaking for Maximum Satisfiability. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1José Faustino Fragoso Femenin dos Santos, Vasco M. Manquinho Learning Techniques for Pseudo-Boolean Solving. Search on Bibsonomy LPAR Workshops The full citation details ... 2008 DBLP  BibTeX  RDF
1João Marques-Silva, Vasco M. Manquinho Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Federico Heras, Vasco M. Manquinho, João Marques-Silva On Applying Unit Propagation-Based Lower Bounds in Pseudo-Boolean Optimization. Search on Bibsonomy FLAIRS Conference The full citation details ... 2008 DBLP  BibTeX  RDF
1Vasco M. Manquinho, João P. Marques Silva On Using Cutting Planes in Pseudo-Boolean Optimization. Search on Bibsonomy JSAT The full citation details ... 2006 DBLP  BibTeX  RDF
1Vasco M. Manquinho, Olivier Roussel The First Evaluation of Pseudo-Boolean Solvers (PB'05). Search on Bibsonomy JSAT The full citation details ... 2006 DBLP  BibTeX  RDF
1António Morgado, Paulo J. Matos, Vasco M. Manquinho, João P. Marques Silva Counting Models in Integer Domains. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Vasco M. Manquinho, João P. Marques Silva Effective Lower Bounding Techniques for Pseudo-Boolean Optimization. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Vasco M. Manquinho, João P. Marques Silva On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Vasco M. Manquinho, João P. Marques Silva Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts. Search on Bibsonomy ICTAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Vasco M. Manquinho, João P. Marques Silva Satisfiability-Based Algorithms for Boolean Optimization. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF binate covering problem, non-chronological backtracking, branch-and-bound, backtrack search, propositional satisfiability
1Vasco M. Manquinho, João P. Marques Silva Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization. Search on Bibsonomy SAT The full citation details ... 2004 DBLP  BibTeX  RDF
1Vasco M. Manquinho, João P. Marques Silva Integration of Lower Bound Estimates in Pseudo-Boolean Optimization. Search on Bibsonomy ICTAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Vasco M. Manquinho, João P. Marques Silva Search pruning techniques in SAT-based branch-and-bound algorithmsfor the binate covering problem. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Vasco M. Manquinho, João P. Marques Silva On Using Satisfiability-Based Pruning Techniques in Covering Algorithms. Search on Bibsonomy DATE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Vasco M. Manquinho, João P. Marques Silva On Solving Boolean Optimization with Satisfiability-Based Algorithms. Search on Bibsonomy AMAI The full citation details ... 2000 DBLP  BibTeX  RDF
1Vasco M. Manquinho, João P. Marques Silva Search Pruning Conditions for Boolean Optimization. Search on Bibsonomy ECAI The full citation details ... 2000 DBLP  BibTeX  RDF
1Vasco M. Manquinho, Paulo F. Flores, João P. Marques Silva, Arlindo L. Oliveira Prime Implicant Computation Using Satisfiability Algorithms. Search on Bibsonomy ICTAI The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Integer Programming Algorithms, Propositional Satisfiability Algorithms, Backtrack Search Strategies, Prime Implicants
Displaying result #1 - #69 of 69 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license