The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of João Marques-Silva Joao P. Marques Silva ( http://dblp.L3S.de/Authors/João_Marques-Silva )

URL (Homepage):  http://www.di.fc.ul.pt/~jpms/  Author page on DBLP  Author page in RDF  Community of João Marques-Silva in ASPL-2

Publication years (Num. hits)
1991-1999 (22) 2000-2001 (15) 2002-2004 (16) 2005-2007 (23) 2008 (17) 2009 (17) 2010-2011 (33) 2012 (20) 2013 (18) 2014 (19) 2015 (17) 2016-2017 (29) 2018-2019 (17)
Publication types (Num. hits)
article(81) incollection(5) inproceedings(176) proceedings(1)
Venues (Conferences, Journals, ...)
SAT(38) CoRR(29) ICTAI(13) CP(11) IJCAI(10) DATE(9) ECAI(8) AAAI(6) Constraints(5) EPIA(5) JSAT(5) AI Commun.(4) Ann. Math. Artif. Intell.(4) Artif. Intell.(4) LPAR(4) ICCD(3) More (+10 of total 102)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 38 occurrences of 26 keywords

Results
Found 264 publication records. Showing 263 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Alexey Ignatiev, Nina Narodytska, João Marques-Silva On Validating, Repairing and Refining Heuristic ML Explanations. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, Joao Marques-Silva, Peter Schneider-Kamp Formally Verifying the Solution to the Boolean Pythagorean Triples Problem. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
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
1Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva Abduction-Based Explanations for Machine Learning Models. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, João Marques-Silva Assessing Heuristic Machine Learning Explanations with Model Counting. Search on Bibsonomy SAT 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
1Carlos Mencía, Oliver Kullmann, Alexey Ignatiev, João Marques-Silva On Computing the Union of MUSes. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlos Mencía, Joao Marques-Silva Computing Shortest Resolution Proofs. Search on Bibsonomy EPIA (2) 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
1João Marques-Silva, Sharad Malik Propositional SAT Solving. Search on Bibsonomy Handbook of Model Checking The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, Nina Narodytska, João Marques-Silva Abduction-Based Explanations for Machine Learning Models. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  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
1Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva Premise Set Caching for Enumerating Minimal Correction Subsets. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexey Ignatiev, Filipe Pereira, Nina Narodytska, João Marques-Silva A SAT-Based Approach to Learn Explainable Decision Sets. Search on Bibsonomy IJCAR The full citation details ... 2018 DBLP  DOI  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
1João Marques-Silva Computing with SAT Oracles: Past, Present and Future. Search on Bibsonomy CiE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nina Narodytska, Alexey Ignatiev, Filipe Pereira, João Marques-Silva Learning Optimal Decision Trees with SAT. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1João Marques-Silva, Mikolás Janota, Carlos Mencía Minimal sets on propositional formulae. Problems and reductions. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Takfarinas Saber, João Marques-Silva, James Thorburn, Anthony Ventresque Exact and Hybrid Solutions for the Multi-Objective VM Reassignment Problem. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2017 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
1Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev, João Marques-Silva Lean Kernels in Description Logics. Search on Bibsonomy ESWC (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva Improving MCS Enumeration via Caching. Search on Bibsonomy SAT The full citation details ... 2017 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 SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp Efficient Certified Resolution Proof Checking. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Previti, Alexey Ignatiev, Matti Järvisalo, João Marques-Silva On Computing Generalized Backbones. Search on Bibsonomy ICTAI 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
1Mikolás Janota, João Marques-Silva An Achilles' Heel of Term-Resolution. Search on Bibsonomy EPIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, João Marques-Silva, Carlos Mencía, Rafael Peñaloza Debugging EL+ Ontologies through Horn MUS Enumeration. Search on Bibsonomy Description Logics The full citation details ... 2017 DBLP  BibTeX  RDF
1Mikolás Janota, João Marques-Silva On Minimal Corrections in ASP. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2017 DBLP  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
1Mikolás Janota, William Klieber, João Marques-Silva, Edmund M. Clarke Solving QBF with counterexample guided refinement. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, João Marques-Silva On the query complexity of selecting minimal sets for monotone predicates. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefano V. Albrecht, Bruno Bouchard 0001, John S. Brownstein, David L. Buckeridge, Cornelia Caragea, Kevin M. Carter 0001, Adnan Darwiche, Blaz Fortuna, Yannick Francillette, Sébastien Gaboury, C. Lee Giles, Marko Grobelnik, Estevam R. Hruschka, Jeffrey O. Kephart, Parisa Kordjamshidi, Viliam Lisý, Daniele Magazzeni, João Marques-Silva, Pierre Marquis, David R. Martinez, Marek P. Michalowski, Arash Shaban-Nejad, Zeinab Noorian, Enrico Pontelli, Alex Rogers, Stephanie Rosenthal, Dan Roth, Arunesh Sinha, William W. Streilein, Sylvie Thiébaux, Tran Cao Son, Byron C. Wallace, Toby Walsh, Michael J. Witbrock, Jie Zhang Reports of the 2016 AAAI Workshop Program. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp Efficient Certified Resolution Proof Checking. 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 CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Mark H. Liffiton, Alessandro Previti, Ammar Malik, João Marques-Silva Fast, flexible MUS enumeration. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, Mikolás Janota, João Marques-Silva Quantified maximum satisfiability. Search on Bibsonomy Constraints The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adnan Darwiche, João Marques-Silva, Pierre Marquis Preface: The Beyond NP Workshop. Search on Bibsonomy AAAI Workshop: Beyond NP 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
1Carlos Mencía, Alexey Ignatiev, Alessandro Previti, João Marques-Silva MCS Extraction with Sublinear Oracle Queries. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, João Marques-Silva BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1João Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza Efficient Reasoning for Inconsistent Horn Formulae. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, Alessandro Previti, João Marques-Silva On Finding Minimum Satisfying Assignments. Search on Bibsonomy CP 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
1Mikolás Janota, Inês Lynce, João Marques-Silva Algorithms for computing backbones of propositional formulae. Search on Bibsonomy AI Commun. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, João Marques-Silva Expansion-based QBF solving versus Q-resolution. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1M. Fareed Arif, João Marques-Silva Towards Efficient Axiom Pinpointing of EL+ Ontologies. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1M. Fareed Arif, Carlos Mencía, João Marques-Silva Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Oliver Kullmann, João Marques-Silva Computing maximal autarkies with few and simple oracle queries. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1M. Fareed Arif, Carlos Mencía, João Marques-Silva Efficient Axiom Pinpointing with EL2MCS. Search on Bibsonomy KI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlos Mencía, Alessandro Previti, João Marques-Silva SAT-Based Horn Least Upper Bounds. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, Alessandro Previti, João Marques-Silva SAT-Based Formula Simplification. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1M. Fareed Arif, Carlos Mencía, João Marques-Silva Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Oliver Kullmann, João Marques-Silva Computing Maximal Autarkies with Few and Simple Oracle Queries. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Takfarinas Saber, Anthony Ventresque, João Marques-Silva, James Thorburn, Liam Murphy 0001 MILP for the Multi-objective VM Reassignment Problem. Search on Bibsonomy ICTAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, João Marques-Silva Smallest MUS Extraction with Minimal Hitting Set Dualization. Search on Bibsonomy CP 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
1Mikolás Janota, João Marques-Silva Solving QBF by Clause Selection. 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
1Carlos Mencía, Alessandro Previti, João Marques-Silva Literal-Based MCS Extraction. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva Algorithms for computing minimal equivalent subformulas. Search on Bibsonomy Artif. Intell. The full citation details ... 2014 DBLP  DOI  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
1João Marques-Silva, Mikolás Janota On the Query Complexity of Selecting Few Minimal Sets. Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2014 DBLP  BibTeX  RDF
1Mikolás Janota, João Marques-Silva On Minimal Corrections in ASP. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1João Marques-Silva, Mikolás Janota Computing Minimal Sets on Propositional Formulae I: Problems & Reductions. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1João Marques-Silva, Inês Lynce SAT Solvers. Search on Bibsonomy Tractability The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. Search on Bibsonomy CPAIOR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  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
1João Marques-Silva, Alessandro Previti On Computing Preferred MUSes and MCSes. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Anton Belov, Marijn Heule, João Marques-Silva MUS Extraction Using Clausal Proofs. Search on Bibsonomy SAT The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Arie Gurfinkel, Anton Belov, João Marques-Silva Synthesizing Safe Bit-Precise Invariants. Search on Bibsonomy TACAS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Carlos Mencía, João Marques-Silva Efficient Relaxations of Over-constrained CSPs. Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, João Marques-Silva, Lakhdar Sais, Yakoub Salhi Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. Search on Bibsonomy JELIA 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
1Alexey Ignatiev, Mikolás Janota, João Marques-Silva Towards efficient optimization in package management systems. Search on Bibsonomy ICSE The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, Goetz Botterweck, João Marques-Silva On lazy and eager interactive reconfiguration. Search on Bibsonomy VaMoS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Huan Chen 0001, João Marques-Silva A Two-Variable Model for SAT-Based ATPG. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mikolás Janota, João Marques-Silva On Propositional QBF Expansions and Q-Resolution. Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2013 DBLP  BibTeX  RDF
1Mikolás Janota, Radu Grigore, João Marques-Silva On QBF Proofs and Preprocessing. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  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
1Mikolás Janota, Radu Grigore, João Marques-Silva On QBF Proofs and Preprocessing. 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
1João Marques-Silva, Mikolás Janota, Anton Belov Minimal Sets over Monotone Predicates in Boolean Formulae. Search on Bibsonomy CAV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Anton Belov, Huan Chen 0001, Alan Mishchenko, João Marques-Silva Core minimization in SAT-based abstraction. Search on Bibsonomy DATE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandro Previti, João Marques-Silva Partial MUS Enumeration. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Mikolás Janota, João Marques-Silva On Propositional QBF Expansions and Q-Resolution. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alexey Ignatiev, Mikolás Janota, João Marques-Silva Quantified Maximum Satisfiability: - A Core-Guided Approach. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Anton Belov, Norbert Manthey, João Marques-Silva Parallel MUS Extraction. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Anton Belov, Matti Järvisalo, João Marques-Silva Formula Preprocessing in MUS Extraction. Search on Bibsonomy TACAS 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
1William Klieber, Mikolás Janota, João Marques-Silva, Edmund M. Clarke Solving QBF with Free Variables. Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov On Computing Minimal Correction Subsets. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 263 (100 per page; Change: )
Pages: [1][2][3][>>]
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