The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Alessandro Previti" ( http://dblp.L3S.de/Authors/Alessandro_Previti )

  Author page on DBLP  Author page in RDF  Community of Alessandro Previti in ASPL-2

Publication years (Num. hits)
2011-2016 (15) 2017-2018 (6)
Publication types (Num. hits)
article(3) inproceedings(18)
Venues (Conferences, Journals, ...)
SAT(6) IJCAI(3) AAAI(2) CP(2) AI*IA(1) Constraints(1) CoRR(1) CPAIOR(1) ECAI(1) ICTAI(1) SAC(1) TPLP(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 22 publication records. Showing 21 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti Cautious reasoning in ASP via minimal models and unsatisfiable cores. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Matti Järvisalo, Marco Maratea, Alessandro Previti Cautious reasoning in ASP via minimal models and unsatisfiable cores. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alessandro Previti, Matti Järvisalo A preference-based approach to backbone computation with application to argumentation. Search on Bibsonomy SAC The full citation details ... 2018 DBLP  DOI  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
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
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
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
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
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
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
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
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
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
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
1Alessandro Previti, João Marques-Silva Partial MUS Enumeration. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  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
1Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman Applying UCT to Boolean Satisfiability. Search on Bibsonomy SAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, Bart Selman Monte-Carlo Style UCT Search for Boolean Satisfiability. Search on Bibsonomy AI*IA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #21 of 21 (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