The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "António Morgado" ( http://dblp.L3S.de/Authors/António_Morgado )

  Author page on DBLP  Author page in RDF  Community of António Morgado in ASPL-2

Publication years (Num. hits)
2001-2012 (15) 2013-2016 (16) 2017-2019 (11)
Publication types (Num. hits)
article(12) inproceedings(30)
Venues (Conferences, Journals, ...)
CoRR(7) SAT(6) ICTAI(4) IJCAI(4) ECAI(3) AAAI(2) AI Commun.(2) LPAR(2) Canadian Conference on AI(1) Constraints(1) CP(1) EPIA(1) Fundam. Inform.(1) Haifa Verification Conference(1) JSAT(1) LATA(1) More (+10 of total 20)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 43 publication records. Showing 42 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ilya Zakirzyanov, António Morgado, Alexey Ignatiev, Vladimir Ulyantsev, João Marques-Silva Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. Search on Bibsonomy LATA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1António Morgado, Alexey Ignatiev, Maria Luisa Bonet, João Marques-Silva, Sam Buss DRMaxSAT with MaxHS: First Contact. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, António Morgado, Georg Weissenbacher, João Marques-Silva Model-Based Diagnosis with Multiple Observations. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, João Marques-Silva, António Morgado MaxSAT Resolution With the Dual Rail Encoding. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexey Ignatiev, António Morgado, João Marques-Silva PySAT: A Python Toolkit for Prototyping with SAT Oracles. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, António Morgado, João Marques-Silva On Tackling the Limits of Resolution in SAT Solving. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alexey Ignatiev, António Morgado, João Marques-Silva Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1João Marques-Silva, Alexey Ignatiev, António Morgado Horn Maximum Satisfiability: Reductions, Algorithms & Applications. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alexey Ignatiev, António Morgado, João Marques-Silva On Tackling the Limits of Resolution in SAT Solving. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1João Marques-Silva, Alexey Ignatiev, António Morgado Horn Maximum Satisfiability: Reductions, Algorithms and Applications. Search on Bibsonomy EPIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, António Morgado, João Marques-Silva Cardinality Encodings for Graph Optimization Problems. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva Maximal falsifiability. Search on Bibsonomy AI Commun. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, António Morgado, João Marques-Silva Propositional Abduction with Implicit Hitting Sets. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Alexey Ignatiev, António Morgado, João Marques-Silva Propositional Abduction with Implicit Hitting Sets. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Federico Heras, António Morgado, João Marques-Silva MaxSAT-based encodings for Group MaxSAT. Search on Bibsonomy AI Commun. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado Efficient Model Based Diagnosis with Maximum Satisfiability. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva Prime Compilation of Non-Clausal Formulae. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1António Morgado, Alexey Ignatiev, João Marques-Silva MSCG: Robust Core-Guided MaxSAT Solving. Search on Bibsonomy JSAT 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
1Alexey Ignatiev, António Morgado, João Marques-Silva On Reducing Maximum Independent Set to Minimum Satisfiability. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1António Morgado, Carmine Dodaro, João Marques-Silva Core-Guided MaxSAT with Soft Cardinality Constraints. Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anton Belov, António Morgado, João Marques-Silva SAT-based Preprocessing for MaxSAT (extended version). Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1António Morgado, Federico Heras, Mark H. Liffiton, Jordi Planes, João Marques-Silva Iterative and core-guided MaxSAT solving: A survey and assessment. Search on Bibsonomy Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva Maximal Falsifiability - Definitions, Algorithms, and Applications. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Anton Belov, António Morgado, João Marques-Silva SAT-Based Preprocessing for MaxSAT. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1António Morgado, Federico Heras, João Marques-Silva Model-Guided Approaches for MaxSAT Solving. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Federico Heras, António Morgado, João Marques-Silva An Empirical Study of Encodings for Group MaxSAT. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Federico Heras, António Morgado, João Marques-Silva Lower Bounds and Upper Bounds for MaxSAT. Search on Bibsonomy LION The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1António Morgado, Federico Heras, João Marques-Silva Improvements to Core-Guided Binary Search for MaxSAT. Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1António Morgado, Mark H. Liffiton, João Marques-Silva MaxSAT-Based MCS Enumeration. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Federico Heras, António Morgado, Jordi Planes, João P. Marques Silva Iterative SAT Solving for Minimum Satisfiability. Search on Bibsonomy ICTAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1António Morgado, João Marques-Silva On Validating Boolean Optimizers Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Federico Heras, António Morgado, João Marques-Silva Core-Guided Binary Search Algorithms for Maximum Satisfiability. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1António Morgado, João Marques-Silva On Validating Boolean Optimizers. Search on Bibsonomy ICTAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1António Morgado, João Marques-Silva Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1António Morgado, João P. Marques Silva A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1António Morgado, João Marques-Silva Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem. Search on Bibsonomy RCRA The full citation details ... 2008 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
1António Morgado, João P. Marques Silva Good Learning and Implicit Model Enumeration. Search on Bibsonomy ICTAI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1António Morgado, Atílio Gameiro, José J. G. Fernandes Constrained space-time zero-forcing pre-equalizer for the downlink channel of UMTS-TDD. Search on Bibsonomy PIMRC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1António Morgado, Pedro Pinho, Atílio Gameiro, José J. G. Fernandes Pre-equalization technique for interference cancellation in the UMTS-TDD downlink channel. Search on Bibsonomy VTC Fall The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #42 of 42 (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