×

Marques-Silva, João P.

Author ID: marques-silva.joao-p Recent zbMATH articles by "Marques-Silva, João P."
Published as: Marques-Silva, Joao; Marques-Silva, João; Marques-Silva, João P.; Marques-Silva, J.

Publications by Year

Citations contained in zbMATH Open

90 Publications have been cited 799 times in 439 Documents Cited by Year
GRASP: a search algorithm for propositional satisfiability. Zbl 1392.68388
Marques-Silva, João P.; Sakallah, Karem A.
120
1999
Iterative and core-guided maxsat solving: a survey and assessment. Zbl 1317.90199
Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao
36
2013
Expansion-based QBF solving versus Q-resolution. Zbl 1309.68168
Janota, Mikoláš; Marques-Silva, Joao
33
2015
Algorithms for weighted Boolean optimization. Zbl 1247.68258
Manquinho, Vasco; Marques-Silva, Joao; Planes, Jordi
27
2009
Solving QBF with counterexample guided refinement. Zbl 1273.68178
Janota, Mikoláš; Klieber, William; Marques-Silva, Joao; Clarke, Edmund
27
2012
PySAT: a Python toolkit for prototyping with SAT oracles. Zbl 1484.68215
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
27
2018
Fast, flexible MUS enumeration. Zbl 1334.90080
Liffiton, Mark H.; Previti, Alessandro; Malik, Ammar; Marques-Silva, Joao
23
2016
Solving QBF with counterexample guided refinement. Zbl 1351.68254
Janota, Mikoláš; Klieber, William; Marques-Silva, Joao; Clarke, Edmund
20
2016
Towards efficient MUS extraction. Zbl 1248.68450
Belov, Anton; Lynce, Inês; Marques-Silva, Joao
20
2012
MUSer2: an efficient MUS extractor. Zbl 1322.68178
Belov, Anton; Marques-Silva, Joao
19
2014
Boolean lexicographic optimization: algorithms & applications. Zbl 1242.90199
Marques-Silva, Joao; Argelich, Josep; Graça, Ana; Lynce, Inês
19
2011
A SAT-based approach to learn explainable decision sets. Zbl 1511.68249
Ignatiev, Alexey; Pereira, Filipe; Narodytska, Nina; Marques-Silva, Joao
16
2018
Categorisation of clauses in conjunctive normal forms: minimally unsatisfiable sub-clause-sets and the lean kernel. Zbl 1187.68552
Kullmann, Oliver; Lynce, Inês; Marques-Silva, João
14
2006
Algorithms for computing backbones of propositional formulae. Zbl 1373.68379
Janota, Mikoláš; Lynce, Inês; Marques-Silva, Joao
14
2015
Abstraction-based algorithm for 2QBF. Zbl 1330.68115
Janota, Mikoláš; Marques-Silva, Joao
14
2011
Improvements to core-guided binary search for MaxSAT. Zbl 1273.68357
Morgado, Antonio; Heras, Federico; Marques-Silva, Joao
12
2012
Using randomization and learning to solve hard real-world instances of satisfiability. Zbl 1044.68736
Baptista, Luís; Marques-Silva, João
12
2000
On the query complexity of selecting minimal sets for monotone predicates. Zbl 1351.68117
Janota, Mikoláš; Marques-Silva, Joao
11
2016
On propositional QBF expansions and Q-resolution. Zbl 1390.03017
Janota, Mikoláš; Marques-Silva, Joao
11
2013
Towards robust CNF encodings of cardinality constraints. Zbl 1145.68525
Marques-Silva, Joao; Lynce, Inês
10
2007
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. Zbl 1181.90291
Liffiton, Mark; Mneimneh, Maher; Lynce, Inês; Andraus, Zaher; Marques-Silva, João; Sakallah, Karem
10
2009
RC2: an efficient MaxSAT solver. Zbl 1484.68216
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
10
2019
On improving MUS extraction algorithms. Zbl 1330.68273
Marques-Silva, Joao; Lynce, Ines
10
2011
A branch-and-bound algorithm for extracting smallest minimal unsatisfiable formulas. Zbl 1128.68477
Mneimneh, Maher; Lynce, Inês; Andraus, Zaher; Marques-Silva, João; Sakallah, Karem
9
2005
Towards more effective unsatisfiability-based maximum satisfiability algorithms. Zbl 1138.68548
Marques-Silva, Joao; Manquinho, Vasco
9
2008
Knowledge compilation with empowerment. Zbl 1302.68248
Bordeaux, Lucas; Marques-Silva, Joao
9
2012
Progression in maximum satisfiability. Zbl 1366.68266
Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.; Marques-Silva, J.
8
2014
Efficient haplotype inference with pseudo-Boolean optimization. Zbl 1126.92035
Graça, Ana; Marques-Silva, João; Lynce, Inês; Oliveira, Arlindo L.
8
2007
Computing minimally unsatisfiable subformulas: state of the art and future directions. Zbl 1394.68359
Marques-Silva, Joao
8
2012
Propositional SAT solving. Zbl 1392.68380
Marques-Silva, Joao; Malik, Sharad
8
2018
Algebraic simplification techniques for propositional satisfiability. Zbl 1044.68781
Marques-Silva, João
8
2000
Assessing heuristic machine learning explanations with model counting. Zbl 1441.68211
Narodytska, Nina; Shrotri, Aditya; Meel, Kuldeep S.; Ignatiev, Alexey; Marques-Silva, Joao
8
2019
Optimum stable model search: algorithms and implementation. Zbl 1487.68206
Alviano, Mario; Dodaro, Carmine; Marques-Silva, Joao; Ricca, Francesco
8
2020
Minimal sets on propositional formulae. Problems and reductions. Zbl 1419.68098
Marques-Silva, Joao; Janota, Mikoláš; Mencía, Carlos
7
2017
Enumerating prime implicants of propositional formulae in conjunctive normal form. Zbl 1432.68327
Jabbour, Said; Marques-Silva, Joao; Sais, Lakhdar; Salhi, Yakoub
6
2014
Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing. Zbl 1471.68173
Arif, M. Fareed; Mencía, Carlos; Marques-Silva, Joao
6
2015
Algorithms for computing minimal equivalent subformulas. Zbl 1405.68340
Belov, Anton; Janota, Mikoláš; Lynce, Inês; Marques-Silva, Joao
6
2014
Interpolant learning and reuse in SAT-based model checking. Zbl 1277.68140
Marques-Silva, Joao
6
2007
An overview of backtrack search satisfiability algorithms. Zbl 1010.68069
Lynce, Inês; Marques-Silva, João P.
6
2003
On computing backbones of propositional theories. Zbl 1211.68389
Marques-Silva, Joao; Janota, Mikoláš; Lynce, Inês
6
2010
Empirical study of the anatomy of modern SAT solvers. Zbl 1330.68271
Katebi, Hadi; Sakallah, Karem A.; Marques-Silva, João P.
6
2011
On computing preferred MUSes and MCSes. Zbl 1423.68460
Marques-Silva, Joao; Previti, Alessandro
5
2014
BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies. Zbl 1475.68368
Arif, M. Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao
5
2016
SAT-based preprocessing for MaxSAT. Zbl 1406.68108
Belov, Anton; Morgado, António; Marques-Silva, Joao
5
2013
On QBF proofs and preprocessing. Zbl 1407.68454
Janota, Mikoláš; Grigore, Radu; Marques-Silva, Joao
5
2013
Formula preprocessing in MUS extraction. Zbl 1381.68146
Belov, Anton; Järvisalo, Matti; Marques-Silva, Joao
5
2013
Quantified maximum satisfiability: a core-guided approach. Zbl 1390.68598
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
5
2013
On tackling the limits of resolution in SAT solving. Zbl 1496.68368
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
5
2017
Satisfiability-based algorithms for Boolean optimization. Zbl 1068.90081
Manquinho, Vasco M.; Marques-Silva, João P.
5
2004
Counterexample guided abstraction refinement algorithm for propositional circumscription. Zbl 1306.68190
Janota, Mikoláš; Grigore, Radu; Marques-Silva, Joao
5
2010
Computing maximal autarkies with few and simple oracle queries. Zbl 1471.68250
Kullmann, Oliver; Marques-Silva, Joao
4
2015
MUS extraction using clausal proofs. Zbl 1423.68436
Belov, Anton; Heule, Marijn J. H.; Marques-Silva, Joao
4
2014
On reducing maximum independent set to minimum satisfiability. Zbl 1423.68452
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
4
2014
Quantified maximum satisfiability. Zbl 1334.90075
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
4
2016
MCS extraction with sublinear oracle queries. Zbl 1475.68220
Mencía, Carlos; Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao
4
2016
Random backtracking in backtrack search algorithms for satisfiability. Zbl 1121.68109
Lynce, I.; Marques-Silva, J.
4
2007
Efficient reasoning for inconsistent Horn formulae. Zbl 1483.68381
Marques-Silva, Joao; Ignatiev, Alexey; Mencía, Carlos; Peñaloza, Rafael
4
2016
Boosting haplotype inference with local search. Zbl 1142.92030
Lynce, Inês; Marques-Silva, João; Prestwich, Steve
4
2008
Efficient and accurate haplotype inference by combining parsimony and pedigree information. Zbl 1256.92037
Graça, Ana; Lynce, Inês; Marques-Silva, João; Oliveira, Arlindo L.
4
2012
Efficient data structures for backtrack search SAT solvers. Zbl 1099.68025
Lynce, Inês; Marques-Silva, João
4
2005
SAT-based rigorous explanations for decision lists. Zbl 07495578
Ignatiev, Alexey; Marques-Silva, Joao
4
2021
On tackling explanation redundancy in decision trees. Zbl 07603113
Izza, Yacine; Ignatiev, Alexey; Marques-Silva, Joao
4
2022
Theory and applications of satisfiability testing – SAT 2007. 10th international conference, Lisbon, Portugal, May 28–31, 2007. Proceedings. Zbl 1120.68007
3
2007
Improvements to the implementation of interpolant-based model checking. Zbl 1159.68330
Marques-Silva, João
3
2005
Heuristic-based backtracking for propositional satisfiability. Zbl 1205.68370
Bhalla, A.; Lynce, I.; de Sousa, J. T.; Marques-Silva, J.
3
2003
On efficient computation of variable MUSes. Zbl 1273.03047
Belov, Anton; Ivrii, Alexander; Matsliah, Arie; Marques-Silva, Joao
3
2012
MaxSAT-based encodings for Group MaxSAT. Zbl 1373.68377
Heras, Federico; Morgado, Antonio; Marques-Silva, Joao
3
2015
Towards provably complete stochastic search algorithms for satisfiability. Zbl 1053.68684
Lynce, Ines; Baptista, Luís; Marques-Silva, João
3
2001
Stochastic systematic search algorithms for satisfiability. Zbl 0990.90554
Lynce, Inês; Baptista, Luís; Marques-Silva, João
3
2001
Formally verifying the solution to the Boolean Pythagorean triples problem. Zbl 1468.68318
Cruz-Filipe, Luís; Marques-Silva, Joao; Schneider-Kamp, Peter
3
2019
Haplotype inference with pseudo-Boolean optimization. Zbl 1215.92043
Graça, Ana; Marques-Silva, João; Lynce, Inês; Oliveira, Arlindo L.
3
2011
On computing the union of MUSes. Zbl 1441.68230
Mencía, Carlos; Kullmann, Oliver; Ignatiev, Alexey; Marques-Silva, Joao
3
2019
DRMaxSAT with MaxHS: first contact. Zbl 1441.68232
Morgado, Antonio; Ignatiev, Alexey; Bonet, Maria Luisa; Marques-Silva, Joao; Buss, Sam
3
2019
SAT-based formula simplification. Zbl 1471.68245
Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao
2
2015
TG-Pro: A SAT-based ATPG system. Zbl 1331.68204
Chen, Huan; Marques-Silva, Joao
2
2012
PackUp: tools for package upgradability solving. Zbl 1348.68228
Janota, Mikoláš; Lynce, Inês; Manquinho, Vasco; Marques-Silva, Joao
2
2012
On using cutting planes in pseudo-Boolean optimization. Zbl 1177.90297
Manquinho, Vasco M.; Marques-Silva, João
2
2006
Model checking with Boolean satisfiability. Zbl 1151.68031
Marques-Silva, Joao
2
2008
Anatomy and empirical evaluation of modern SAT solvers. Zbl 1258.68137
Sakallah, Karem A.; Marques-Silva, Joao
2
2011
Efficient symmetry breaking for SAT-based minimum DFA inference. Zbl 1425.68240
Zakirzyanov, Ilya; Morgado, Antonio; Ignatiev, Alexey; Ulyantsev, Vladimir; Marques-Silva, Joao
2
2019
Combinatorial optimization solutions for the maximum quartet consistency problem. Zbl 1214.68364
Morgado, António; Marques-Silva, Joao
2
2010
Minimally unsatisfiable Boolean circuits. Zbl 1330.68268
Belov, Anton; Marques-Silva, Joao
2
2011
Maximal falsifiability. Definitions, algorithms, and applications. Zbl 1407.68453
Ignatiev, Alexey; Morgado, Antonio; Planes, Jordi; Marques-Silva, Joao
1
2013
On applying cutting planes in DLL-based algorithms for pseudo-Boolean optimization. Zbl 1128.68474
Manquinho, Vasco; Marques-Silva, João
1
2005
Counting models in integer domains. Zbl 1187.90202
Morgado, António; Matos, Paulo; Manquinho, Vasco; Marques-Silva, João
1
2006
Computing with SAT oracles: past, present and future. Zbl 1509.68103
Marques-Silva, Joao
1
2018
Improvements to hybrid incremental SAT algorithms. Zbl 1138.68544
Letombe, Florian; Marques-Silva, Joao
1
2008
Improving MCS enumeration via caching. Zbl 1496.68258
Previti, Alessandro; Mencía, Carlos; Järvisalo, Matti; Marques-Silva, Joao
1
2017
Improving SAT algorithms by using search pruning techniques. Zbl 1067.68650
Lynce, Inês; Marques-Silva, João
1
2001
Symmetry breaking for maximum satisfiability. Zbl 1182.68257
Marques-Silva, Joao; Lynce, Inês; Manquinho, Vasco
1
2008
On tackling explanation redundancy in decision trees. Zbl 07603113
Izza, Yacine; Ignatiev, Alexey; Marques-Silva, Joao
4
2022
SAT-based rigorous explanations for decision lists. Zbl 07495578
Ignatiev, Alexey; Marques-Silva, Joao
4
2021
Optimum stable model search: algorithms and implementation. Zbl 1487.68206
Alviano, Mario; Dodaro, Carmine; Marques-Silva, Joao; Ricca, Francesco
8
2020
RC2: an efficient MaxSAT solver. Zbl 1484.68216
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
10
2019
Assessing heuristic machine learning explanations with model counting. Zbl 1441.68211
Narodytska, Nina; Shrotri, Aditya; Meel, Kuldeep S.; Ignatiev, Alexey; Marques-Silva, Joao
8
2019
Formally verifying the solution to the Boolean Pythagorean triples problem. Zbl 1468.68318
Cruz-Filipe, Luís; Marques-Silva, Joao; Schneider-Kamp, Peter
3
2019
On computing the union of MUSes. Zbl 1441.68230
Mencía, Carlos; Kullmann, Oliver; Ignatiev, Alexey; Marques-Silva, Joao
3
2019
DRMaxSAT with MaxHS: first contact. Zbl 1441.68232
Morgado, Antonio; Ignatiev, Alexey; Bonet, Maria Luisa; Marques-Silva, Joao; Buss, Sam
3
2019
Efficient symmetry breaking for SAT-based minimum DFA inference. Zbl 1425.68240
Zakirzyanov, Ilya; Morgado, Antonio; Ignatiev, Alexey; Ulyantsev, Vladimir; Marques-Silva, Joao
2
2019
PySAT: a Python toolkit for prototyping with SAT oracles. Zbl 1484.68215
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
27
2018
A SAT-based approach to learn explainable decision sets. Zbl 1511.68249
Ignatiev, Alexey; Pereira, Filipe; Narodytska, Nina; Marques-Silva, Joao
16
2018
Propositional SAT solving. Zbl 1392.68380
Marques-Silva, Joao; Malik, Sharad
8
2018
Computing with SAT oracles: past, present and future. Zbl 1509.68103
Marques-Silva, Joao
1
2018
Minimal sets on propositional formulae. Problems and reductions. Zbl 1419.68098
Marques-Silva, Joao; Janota, Mikoláš; Mencía, Carlos
7
2017
On tackling the limits of resolution in SAT solving. Zbl 1496.68368
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
5
2017
Improving MCS enumeration via caching. Zbl 1496.68258
Previti, Alessandro; Mencía, Carlos; Järvisalo, Matti; Marques-Silva, Joao
1
2017
Fast, flexible MUS enumeration. Zbl 1334.90080
Liffiton, Mark H.; Previti, Alessandro; Malik, Ammar; Marques-Silva, Joao
23
2016
Solving QBF with counterexample guided refinement. Zbl 1351.68254
Janota, Mikoláš; Klieber, William; Marques-Silva, Joao; Clarke, Edmund
20
2016
On the query complexity of selecting minimal sets for monotone predicates. Zbl 1351.68117
Janota, Mikoláš; Marques-Silva, Joao
11
2016
BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies. Zbl 1475.68368
Arif, M. Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao
5
2016
Quantified maximum satisfiability. Zbl 1334.90075
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
4
2016
MCS extraction with sublinear oracle queries. Zbl 1475.68220
Mencía, Carlos; Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao
4
2016
Efficient reasoning for inconsistent Horn formulae. Zbl 1483.68381
Marques-Silva, Joao; Ignatiev, Alexey; Mencía, Carlos; Peñaloza, Rafael
4
2016
Expansion-based QBF solving versus Q-resolution. Zbl 1309.68168
Janota, Mikoláš; Marques-Silva, Joao
33
2015
Algorithms for computing backbones of propositional formulae. Zbl 1373.68379
Janota, Mikoláš; Lynce, Inês; Marques-Silva, Joao
14
2015
Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing. Zbl 1471.68173
Arif, M. Fareed; Mencía, Carlos; Marques-Silva, Joao
6
2015
Computing maximal autarkies with few and simple oracle queries. Zbl 1471.68250
Kullmann, Oliver; Marques-Silva, Joao
4
2015
MaxSAT-based encodings for Group MaxSAT. Zbl 1373.68377
Heras, Federico; Morgado, Antonio; Marques-Silva, Joao
3
2015
SAT-based formula simplification. Zbl 1471.68245
Ignatiev, Alexey; Previti, Alessandro; Marques-Silva, Joao
2
2015
MUSer2: an efficient MUS extractor. Zbl 1322.68178
Belov, Anton; Marques-Silva, Joao
19
2014
Progression in maximum satisfiability. Zbl 1366.68266
Ignatiev, A.; Morgado, A.; Manquinho, V.; Lynce, I.; Marques-Silva, J.
8
2014
Enumerating prime implicants of propositional formulae in conjunctive normal form. Zbl 1432.68327
Jabbour, Said; Marques-Silva, Joao; Sais, Lakhdar; Salhi, Yakoub
6
2014
Algorithms for computing minimal equivalent subformulas. Zbl 1405.68340
Belov, Anton; Janota, Mikoláš; Lynce, Inês; Marques-Silva, Joao
6
2014
On computing preferred MUSes and MCSes. Zbl 1423.68460
Marques-Silva, Joao; Previti, Alessandro
5
2014
MUS extraction using clausal proofs. Zbl 1423.68436
Belov, Anton; Heule, Marijn J. H.; Marques-Silva, Joao
4
2014
On reducing maximum independent set to minimum satisfiability. Zbl 1423.68452
Ignatiev, Alexey; Morgado, Antonio; Marques-Silva, Joao
4
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
36
2013
On propositional QBF expansions and Q-resolution. Zbl 1390.03017
Janota, Mikoláš; Marques-Silva, Joao
11
2013
SAT-based preprocessing for MaxSAT. Zbl 1406.68108
Belov, Anton; Morgado, António; Marques-Silva, Joao
5
2013
On QBF proofs and preprocessing. Zbl 1407.68454
Janota, Mikoláš; Grigore, Radu; Marques-Silva, Joao
5
2013
Formula preprocessing in MUS extraction. Zbl 1381.68146
Belov, Anton; Järvisalo, Matti; Marques-Silva, Joao
5
2013
Quantified maximum satisfiability: a core-guided approach. Zbl 1390.68598
Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
5
2013
Maximal falsifiability. Definitions, algorithms, and applications. Zbl 1407.68453
Ignatiev, Alexey; Morgado, Antonio; Planes, Jordi; Marques-Silva, Joao
1
2013
Solving QBF with counterexample guided refinement. Zbl 1273.68178
Janota, Mikoláš; Klieber, William; Marques-Silva, Joao; Clarke, Edmund
27
2012
Towards efficient MUS extraction. Zbl 1248.68450
Belov, Anton; Lynce, Inês; Marques-Silva, Joao
20
2012
Improvements to core-guided binary search for MaxSAT. Zbl 1273.68357
Morgado, Antonio; Heras, Federico; Marques-Silva, Joao
12
2012
Knowledge compilation with empowerment. Zbl 1302.68248
Bordeaux, Lucas; Marques-Silva, Joao
9
2012
Computing minimally unsatisfiable subformulas: state of the art and future directions. Zbl 1394.68359
Marques-Silva, Joao
8
2012
Efficient and accurate haplotype inference by combining parsimony and pedigree information. Zbl 1256.92037
Graça, Ana; Lynce, Inês; Marques-Silva, João; Oliveira, Arlindo L.
4
2012
On efficient computation of variable MUSes. Zbl 1273.03047
Belov, Anton; Ivrii, Alexander; Matsliah, Arie; Marques-Silva, Joao
3
2012
TG-Pro: A SAT-based ATPG system. Zbl 1331.68204
Chen, Huan; Marques-Silva, Joao
2
2012
PackUp: tools for package upgradability solving. Zbl 1348.68228
Janota, Mikoláš; Lynce, Inês; Manquinho, Vasco; Marques-Silva, Joao
2
2012
Boolean lexicographic optimization: algorithms & applications. Zbl 1242.90199
Marques-Silva, Joao; Argelich, Josep; Graça, Ana; Lynce, Inês
19
2011
Abstraction-based algorithm for 2QBF. Zbl 1330.68115
Janota, Mikoláš; Marques-Silva, Joao
14
2011
On improving MUS extraction algorithms. Zbl 1330.68273
Marques-Silva, Joao; Lynce, Ines
10
2011
Empirical study of the anatomy of modern SAT solvers. Zbl 1330.68271
Katebi, Hadi; Sakallah, Karem A.; Marques-Silva, João P.
6
2011
Haplotype inference with pseudo-Boolean optimization. Zbl 1215.92043
Graça, Ana; Marques-Silva, João; Lynce, Inês; Oliveira, Arlindo L.
3
2011
Anatomy and empirical evaluation of modern SAT solvers. Zbl 1258.68137
Sakallah, Karem A.; Marques-Silva, Joao
2
2011
Minimally unsatisfiable Boolean circuits. Zbl 1330.68268
Belov, Anton; Marques-Silva, Joao
2
2011
On computing backbones of propositional theories. Zbl 1211.68389
Marques-Silva, Joao; Janota, Mikoláš; Lynce, Inês
6
2010
Counterexample guided abstraction refinement algorithm for propositional circumscription. Zbl 1306.68190
Janota, Mikoláš; Grigore, Radu; Marques-Silva, Joao
5
2010
Combinatorial optimization solutions for the maximum quartet consistency problem. Zbl 1214.68364
Morgado, António; Marques-Silva, Joao
2
2010
Algorithms for weighted Boolean optimization. Zbl 1247.68258
Manquinho, Vasco; Marques-Silva, Joao; Planes, Jordi
27
2009
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. Zbl 1181.90291
Liffiton, Mark; Mneimneh, Maher; Lynce, Inês; Andraus, Zaher; Marques-Silva, João; Sakallah, Karem
10
2009
Towards more effective unsatisfiability-based maximum satisfiability algorithms. Zbl 1138.68548
Marques-Silva, Joao; Manquinho, Vasco
9
2008
Boosting haplotype inference with local search. Zbl 1142.92030
Lynce, Inês; Marques-Silva, João; Prestwich, Steve
4
2008
Model checking with Boolean satisfiability. Zbl 1151.68031
Marques-Silva, Joao
2
2008
Improvements to hybrid incremental SAT algorithms. Zbl 1138.68544
Letombe, Florian; Marques-Silva, Joao
1
2008
Symmetry breaking for maximum satisfiability. Zbl 1182.68257
Marques-Silva, Joao; Lynce, Inês; Manquinho, Vasco
1
2008
Towards robust CNF encodings of cardinality constraints. Zbl 1145.68525
Marques-Silva, Joao; Lynce, Inês
10
2007
Efficient haplotype inference with pseudo-Boolean optimization. Zbl 1126.92035
Graça, Ana; Marques-Silva, João; Lynce, Inês; Oliveira, Arlindo L.
8
2007
Interpolant learning and reuse in SAT-based model checking. Zbl 1277.68140
Marques-Silva, Joao
6
2007
Random backtracking in backtrack search algorithms for satisfiability. Zbl 1121.68109
Lynce, I.; Marques-Silva, J.
4
2007
Theory and applications of satisfiability testing – SAT 2007. 10th international conference, Lisbon, Portugal, May 28–31, 2007. Proceedings. Zbl 1120.68007
3
2007
Categorisation of clauses in conjunctive normal forms: minimally unsatisfiable sub-clause-sets and the lean kernel. Zbl 1187.68552
Kullmann, Oliver; Lynce, Inês; Marques-Silva, João
14
2006
On using cutting planes in pseudo-Boolean optimization. Zbl 1177.90297
Manquinho, Vasco M.; Marques-Silva, João
2
2006
Counting models in integer domains. Zbl 1187.90202
Morgado, António; Matos, Paulo; Manquinho, Vasco; Marques-Silva, João
1
2006
A branch-and-bound algorithm for extracting smallest minimal unsatisfiable formulas. Zbl 1128.68477
Mneimneh, Maher; Lynce, Inês; Andraus, Zaher; Marques-Silva, João; Sakallah, Karem
9
2005
Efficient data structures for backtrack search SAT solvers. Zbl 1099.68025
Lynce, Inês; Marques-Silva, João
4
2005
Improvements to the implementation of interpolant-based model checking. Zbl 1159.68330
Marques-Silva, João
3
2005
On applying cutting planes in DLL-based algorithms for pseudo-Boolean optimization. Zbl 1128.68474
Manquinho, Vasco; Marques-Silva, João
1
2005
Satisfiability-based algorithms for Boolean optimization. Zbl 1068.90081
Manquinho, Vasco M.; Marques-Silva, João P.
5
2004
An overview of backtrack search satisfiability algorithms. Zbl 1010.68069
Lynce, Inês; Marques-Silva, João P.
6
2003
Heuristic-based backtracking for propositional satisfiability. Zbl 1205.68370
Bhalla, A.; Lynce, I.; de Sousa, J. T.; Marques-Silva, J.
3
2003
Towards provably complete stochastic search algorithms for satisfiability. Zbl 1053.68684
Lynce, Ines; Baptista, Luís; Marques-Silva, João
3
2001
Stochastic systematic search algorithms for satisfiability. Zbl 0990.90554
Lynce, Inês; Baptista, Luís; Marques-Silva, João
3
2001
Improving SAT algorithms by using search pruning techniques. Zbl 1067.68650
Lynce, Inês; Marques-Silva, João
1
2001
Using randomization and learning to solve hard real-world instances of satisfiability. Zbl 1044.68736
Baptista, Luís; Marques-Silva, João
12
2000
Algebraic simplification techniques for propositional satisfiability. Zbl 1044.68781
Marques-Silva, João
8
2000
GRASP: a search algorithm for propositional satisfiability. Zbl 1392.68388
Marques-Silva, João P.; Sakallah, Karem A.
120
1999
all top 5

Cited by 781 Authors

34 Marques-Silva, João P.
21 Beyersdorff, Olaf
13 Ignatyev, Alexey A.
13 Janota, Mikoláš
12 Heule, Marijn J. H.
12 Lynce, Inês
11 Dodaro, Carmine
11 Järvisalo, Matti
10 Szeider, Stefan
9 Biere, Armin
8 Blinkhorn, Joshua
8 Chew, Leroy
8 Ricca, Francesco
8 Seidl, Martina
7 Ansótegui, Carlos
7 Lonsing, Florian
7 Mahajan, Meena
7 Maratea, Marco
6 Alviano, Mario
6 Gebser, Martin
6 Habet, Djamal
6 Manquinho, Vasco M.
6 Mencía, Carlos
6 Nieuwenhuis, Robert
6 Previti, Alessandro
6 Schaub, Torsten H.
5 Kullmann, Oliver
5 Liffiton, Mark H.
5 Nordström, Jakob
5 Oliveras, Albert
5 Peñaloza, Rafael
5 Rodríguez-Carbonell, Enric
5 Ryvchin, Vadim
5 Semenov, Aleksandr Anatol’evich
5 Slivovsky, Friedrich
5 Strichman, Ofer
4 Amendola, Giovanni
4 Becker, Bernd
4 Berg, Jeremias
4 Bryant, Randal E.
4 Cai, Shaowei
4 Egly, Uwe
4 Giunchiglia, Enrico
4 Grégoire, Éric
4 Hinde, Luke
4 Janhunen, Tomi
4 Kaufmann, Benjamin
4 Kučera, Petr
4 Li, Chumin
4 Martins, Ruben
4 Mazure, Bertrand
4 Morgado, António
4 Peitl, Tomáš
4 Piette, Cédric
4 Scholl, Christoph
4 Stuckey, Peter James
4 Tentrup, Leander
4 Vardi, Moshe Ya’akov
4 Wallner, Johannes Peter
3 Ábrahám, Erika
3 Abramé, André
3 Achterberg, Tobias
3 Banbara, Mutsunori
3 Belov, Anton
3 Bendík, Jaroslav
3 Berthold, Timo
3 Böhm, Benjamin
3 Buss, Samuel R.
3 Cherif, Mohamed Sami
3 Eiter, Thomas
3 Fichte, Johannes Klaus
3 Gabàs, Joel
3 Goldberg, Eugene L.
3 Griggio, Alberto
3 Ivrii, Alexander
3 Kiesl, Benjamin
3 Lagniez, Jean-Marie
3 Lauria, Massimo
3 Levy, Jordi
3 Manyà, Felip
3 Marquis, Pierre
3 Meel, Kuldeep S.
3 Nadel, Alexander
3 Planes, Jordi
3 Sakallah, Karem A.
3 Savický, Petr
3 Şhukla, Anil K.
3 Silva Coelho, José
3 Soh, Takehide
3 Suda, Martin
3 Tinelli, Cesare
3 Vanhoucke, Mario
3 Wimmer, Ralf D.
3 Woltran, Stefan
2 Alves Rocha, Thiago
2 Argelich, Josep
2 Arif, M. Fareed
2 Asín, Roberto
2 Balabanov, Valeriy
2 Barrett, Clark W.
...and 681 more Authors
all top 5

Cited in 77 Serials

49 Artificial Intelligence
24 Journal of Automated Reasoning
24 Constraints
15 Theory and Practice of Logic Programming
13 Theoretical Computer Science
12 Discrete Applied Mathematics
12 Formal Methods in System Design
12 Journal of Satisfiability, Boolean Modeling and Computation
10 Annals of Mathematics and Artificial Intelligence
9 The Journal of Artificial Intelligence Research (JAIR)
8 Computers & Operations Research
6 European Journal of Operational Research
6 ACM Transactions on Computational Logic
5 Journal of Symbolic Computation
5 Annals of Operations Research
5 Logical Methods in Computer Science
4 Information Processing Letters
4 SIAM Journal on Computing
4 International Journal of Approximate Reasoning
3 Journal of Computer and System Sciences
3 Journal of Discrete Algorithms
2 Acta Informatica
2 Algorithmica
2 Information and Computation
2 AI Communications
2 The Electronic Journal of Combinatorics
2 The Bulletin of Symbolic Logic
2 Journal of Heuristics
2 INFORMS Journal on Computing
2 Communications in Nonlinear Science and Numerical Simulation
2 Journal of Machine Learning Research (JMLR)
2 ACM Journal of Experimental Algorithmics
2 Discrete Optimization
2 Journal of Logical and Algebraic Methods in Programming
2 Prikladnaya Diskretnaya Matematika
1 American Mathematical Monthly
1 Journal of the Franklin Institute
1 Mathematical Biosciences
1 Applied Mathematics and Computation
1 Computing
1 Fuzzy Sets and Systems
1 Information Sciences
1 Journal of Computational and Applied Mathematics
1 Journal of Economic Theory
1 Journal of Optimization Theory and Applications
1 Studia Logica
1 Tsukuba Journal of Mathematics
1 Mathematical Social Sciences
1 Annals of Pure and Applied Logic
1 Journal of Computer Science and Technology
1 Discrete & Computational Geometry
1 Automation and Remote Control
1 Applicable Algebra in Engineering, Communication and Computing
1 Computational Complexity
1 Journal of Logic, Language and Information
1 Journal of the Egyptian Mathematical Society
1 Top
1 International Transactions in Operational Research
1 Mathematical Problems in Engineering
1 Theory of Computing Systems
1 Journal of Combinatorial Optimization
1 International Journal of Applied Mathematics and Computer Science
1 Fundamenta Informaticae
1 Journal of Applied Mathematics
1 OR Spectrum
1 Natural Computing
1 JMMA. Journal of Mathematical Modelling and Algorithms
1 Computational Management Science
1
1 Electronic Notes in Theoretical Computer Science
1 Mathematics in Computer Science
1 Optimization Letters
1 Acta Universitatis Sapientiae. Informatica
1 Mathematical Programming Computation
1 Statistics Surveys
1 Theory of Computing
1 Statistics and Computing

Citations by Year