×

zbMATH — the first resource for mathematics

Morgado, António

Compute Distance To:
Author ID: morgado.antonio Recent zbMATH articles by "Morgado, António"
Published as: Morgado, A.; Morgado, Antonio; Morgado, António
External Links: ORCID
Documents Indexed: 14 Publications since 2006

Publications by Year

Citations contained in zbMATH

12 Publications have been cited 51 times in 32 Documents Cited by Year
Iterative and core-guided maxsat solving: a survey and assessment. Zbl 1317.90199
Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao
19
2013
Improvements to core-guided binary search for MaxSAT. Zbl 1273.68357
Morgado, Antonio; Heras, Federico; Marques-Silva, Joao
7
2012
Progression in maximum satisfiability. Zbl 1366.68266
Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.; Marques-Silva, J.
6
2014
PySAT: A Python toolkit for prototyping with SAT oracles. Zbl 06916321
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
4
2018
SAT-based preprocessing for MaxSAT. Zbl 1406.68108
Belov, Anton; Morgado, António; Marques-Silva, Joao
4
2013
MaxSAT-based encodings for Group MaxSAT. Zbl 1373.68377
Heras, Federico; Morgado, Antonio; Marques-Silva, Joao
3
2015
On reducing maximum independent set to minimum satisfiability. Zbl 1423.68452
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
2
2014
Combinatorial optimization solutions for the maximum quartet consistency problem. Zbl 1214.68364
Morgado, António; Marques-Silva, Joao
2
2010
DRMaxSAT with MaxHS: first contact. Zbl 1441.68232
Morgado, Antonio; Ignatiev, Alexey; Bonet, Maria Luisa; Marques-Silva, Joao; Buss, Sam
1
2019
Efficient symmetry breaking for SAT-based minimum DFA inference. Zbl 1425.68240
Zakirzyanov, Ilya; Morgado, Antonio; Ignatiev, Alexey; Ulyantsev, Vladimir; Marques-Silva, Joao
1
2019
On tackling the limits of resolution in SAT solving. Zbl 06807225
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
1
2017
Maximal falsifiability. Definitions, algorithms, and applications. Zbl 1407.68453
Ignatiev, Alexey; Morgado, Antonio; Planes, Jordi; Marques-Silva, Joao
1
2013
DRMaxSAT with MaxHS: first contact. Zbl 1441.68232
Morgado, Antonio; Ignatiev, Alexey; Bonet, Maria Luisa; Marques-Silva, Joao; Buss, Sam
1
2019
Efficient symmetry breaking for SAT-based minimum DFA inference. Zbl 1425.68240
Zakirzyanov, Ilya; Morgado, Antonio; Ignatiev, Alexey; Ulyantsev, Vladimir; Marques-Silva, Joao
1
2019
PySAT: A Python toolkit for prototyping with SAT oracles. Zbl 06916321
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
4
2018
On tackling the limits of resolution in SAT solving. Zbl 06807225
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
1
2017
MaxSAT-based encodings for Group MaxSAT. Zbl 1373.68377
Heras, Federico; Morgado, Antonio; Marques-Silva, Joao
3
2015
Progression in maximum satisfiability. Zbl 1366.68266
Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.; Marques-Silva, J.
6
2014
On reducing maximum independent set to minimum satisfiability. Zbl 1423.68452
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
2
2014
Iterative and core-guided maxsat solving: a survey and assessment. Zbl 1317.90199
Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao
19
2013
SAT-based preprocessing for MaxSAT. Zbl 1406.68108
Belov, Anton; Morgado, António; Marques-Silva, Joao
4
2013
Maximal falsifiability. Definitions, algorithms, and applications. Zbl 1407.68453
Ignatiev, Alexey; Morgado, Antonio; Planes, Jordi; Marques-Silva, Joao
1
2013
Improvements to core-guided binary search for MaxSAT. Zbl 1273.68357
Morgado, Antonio; Heras, Federico; Marques-Silva, Joao
7
2012
Combinatorial optimization solutions for the maximum quartet consistency problem. Zbl 1214.68364
Morgado, António; Marques-Silva, Joao
2
2010

Citations by Year