Institutions | About Us | Help | Gaeilge
rian logo



Limited By: Author = Marques-Silva, Joao;
18 items found
 
Displaying Results 1 - 18 of 18 on page 1 of 1
Mark
An empirical study of encodings for group MaxSAT ⋆ (2012)
Heras, Federico; Morgado, Antonio; Marques-Silva, Joao
University of Limerick
Conference item
peer-reviewed
Science Foundation Ireland
Mark
Exact and Hybrid Solutions for the Multi-objective VM Reassignment Problem (2017)
Saber, Takfarinas; Marques-Silva, Joao; Thorburn, James; Ventresque, Anthony
University College Dublin
Journal article
unknown
Mark
How to complete an interactive configuration process? Configuring as shopping (2010)
Janota, Mikolas; Botterweck, Goetz; Grigore, Radu; Marques-Silva, Joao
University of Limerick
Conference item
peer-reviewed
Science Foundation Ireland
Mark
Improvements to core-guided binary search for MaxSAT (2012)
Morgado, Antonio; Heras, Federico; Marques-Silva, Joao
University of Limerick
Other
peer-reviewed
Science Foundation Ireland
Mark
Knowledge compilation with empowerment (2012)
Bordeaux, Lucas; Marques-Silva, Joao
University of Limerick
Conference item
peer-reviewed
Science Foundation Ireland
Mark
Lower bounds and upper bounds for MaxSAT ⋆ (2012)
Heras, Federico; Morgado, Antonio; Marques-Silva, Joao
University of Limerick
Conference item
peer-reviewed
Science Foundation Ireland
Mark
MaxSAT-based MCS enumeration (2012)
Morgado, Antonio; Liffiton, Mark; Marques-Silva, Joao
University of Limerick
Conference item
peer-reviewed
Science Foundation Ireland
Mark
MILP for the Multi-objective VM Reassignment Problem (2015)
Saber, Takfarinas; Ventresque, Anthony; Marques-Silva, Joao; Thorburn, James; Murphy, L...
University College Dublin
Other
unknown
Mark
University of Limerick
Journal article
peer-reviewed
Science Foundation Ireland
Mark
University of Limerick
Conference item
peer-reviewed
Science Foundation Ireland
Mark
On computing minimal equivalent subformulas (2012)
Belov, Anton; Janota, Mikolas; Lynce, Inês; Marques-Silva, Joao
University of Limerick
Conference item
peer-reviewed
Science Foundation Ireland
Mark
On efficient computation of variable MUSes (2012)
Belov, Anton; Ivrii, Alexander; Matsliah, Arie; Marques-Silva, Joao
University of Limerick
Conference item
peer-reviewed
Science Foundation Ireland
Mark
PackUp: tools for package upgradability solving, system description (2012)
Janota, Mikolas; Lynce, Inês; Manquinho, Vasco; Marques-Silva, Joao
University of Limerick
Journal article
peer-reviewed
Science Foundation Ireland
Mark
QBF-based boolean function bi-decomposition (2012)
Chen, Huan; Janota, Mikolas; Marques-Silva, Joao
University of Limerick
Conference item
peer-reviewed
Science Foundation Ireland
Mark
SMT-based bounded model checking for embedded ANSI-C software (2012)
Cordeiro, Lucas; Fischer, Bernd; Marques-Silva, Joao
University of Limerick
Journal article
peer-reviewed
Mark
Solving QBF with counterexample guided refinement (2012)
Janota, Mikolas; Klieber, William; Marques-Silva, Joao; Clarke, Edmund
University of Limerick
Conference item
peer-reviewed
Science Foundation Ireland
Mark
University of Limerick
Journal article
peer-reviewed
Science Foundation Ireland
Mark
Towards efficient MUS extraction (2012)
Belov, Anton; Lynce, Inês; Marques-Silva, Joao
University of Limerick
Journal article
peer-reviewed
Science Foundation Ireland
Displaying Results 1 - 18 of 18 on page 1 of 1
Hide Main Menu block
Institution
Hide Main Menu block
Item Type
Hide Main Menu block
Peer Review Status
Hide Main Menu block
Year