BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × China
1 × Finland
1 × France
1 × Germany
2 × USA
3 × United Kingdom
Collaborated with:
J.P.M.Silva R.Martins I.Lynce J.Marques-Silva J.Planes A.Morgado P.J.Matos M.Neves M.Janota
Talks about:
base (7) algorithm (5) boolean (5) optim (5) sat (4) pseudo (3) max (3) unsatisfi (2) techniqu (2) satisfi (2)

Person: Vasco M. Manquinho

DBLP DBLP: Manquinho:Vasco_M=

Contributed to:

SAT 20152015
SAT 20142014
SAT 20132013
SAT 20102010
SAT 20092009
SAT 20082008
SAT 20062006
DATE 20052005
SAT 20052005
SAT 20042004
DATE 20002000

Wrote 11 papers:

SAT-2015-NevesMJLM #satisfiability
Exploiting Resolution-Based Representations for MaxSAT Solving (MN, RM, MJ, IL, VMM), pp. 272–286.
SAT-2014-MartinsML #composition #named #satisfiability
Open-WBO: A Modular MaxSAT Solver, (RM, VMM, IL), pp. 438–445.
SAT-2013-MartinsML #clustering #satisfiability
Community-Based Partitioning for MaxSAT Solving (RM, VMM, IL), pp. 182–191.
SAT-2010-ManquinhoML #algorithm #optimisation #satisfiability
Improving Unsatisfiability-Based Algorithms for Boolean Optimization (VMM, RM, IL), pp. 181–193.
SAT-2009-ManquinhoSP #algorithm #optimisation
Algorithms for Weighted Boolean Optimization (VMM, JPMS, JP), pp. 495–508.
SAT-2008-Marques-SilvaM #algorithm #effectiveness #satisfiability #towards
Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms (JMS, VMM), pp. 225–230.
SAT-2006-MorgadoMMM #integer #modelling
Counting Models in Integer Domains (AM, PJM, VMM, JPMS), pp. 410–423.
DATE-2005-ManquinhoM #bound #effectiveness #optimisation #pseudo
Effective Lower Bounding Techniques for Pseudo-Boolean Optimization (VMM, JPMS), pp. 660–665.
SAT-2005-ManquinhoM #algorithm #on the #optimisation #pseudo
On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization (VMM, JPMS), pp. 451–458.
SAT-2004-ManquinhoM #bound #optimisation #pseudo #satisfiability #using
Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization (VMM, JPMS), pp. 120–126.
DATE-2000-ManquinhoS #algorithm #on the #satisfiability #using
On Using Satisfiability-Based Pruning Techniques in Covering Algorithms (VMM, JPMS), pp. 356–363.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.