The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Paolo Marin" ( http://dblp.L3S.de/Authors/Paolo_Marin )

  Author page on DBLP  Author page in RDF  Community of Paolo Marin in ASPL-2

Publication years (Num. hits)
2008-2016 (15) 2017 (1)
Publication types (Num. hits)
article(5) incollection(1) inproceedings(10)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 17 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ralf Wimmer, Sven Reimer, Paolo Marin, Bernd Becker 0001 HQSpre - An Effective Preprocessor for QBF and DQBF. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. Search on Bibsonomy Fundam. Inform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Christian Miller, Paolo Marin, Bernd Becker 0001 Verification of partial designs using incremental QBF. Search on Bibsonomy AI Commun. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia An Empirical Perspective on Ten Years of QBF Solving. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Sven Reimer, Matthias Sauer 0002, Paolo Marin, Bernd Becker 0001 QBF with Soft Variables. Search on Bibsonomy ECEASST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paolo Marin, Christian Miller, Matthew D. T. Lewis, Bernd Becker 0001 Verification of partial designs using incremental QBF solving. Search on Bibsonomy DATE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Bernd Becker 0001, Rüdiger Ehlers, Matthew D. T. Lewis, Paolo Marin ALLQBF Solving by Computational Learning. Search on Bibsonomy ATVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paolo Marin, Christian Miller, Bernd Becker 0001 Incremental QBF Preprocessing for Partial Design Verification - (Poster Presentation). Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia Parallel QBF Solving with Advanced Knowledge Sharing. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Paolo Marin, Massimo Narizzano QuBE7.0. Search on Bibsonomy JSAT The full citation details ... 2010 DBLP  BibTeX  RDF
1Enrico Giunchiglia, Paolo Marin, Massimo Narizzano sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. Search on Bibsonomy SAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Enrico Giunchiglia, Paolo Marin, Massimo Narizzano Reasoning with Quantified Boolean Formulas. Search on Bibsonomy Handbook of Satisfiability The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthew D. T. Lewis, Paolo Marin, Tobias Schubert 0001, Massimo Narizzano, Bernd Becker 0001, Enrico Giunchiglia PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Parallel QBF Solving, Master/Slave Architecture, MPI, Message Passing
1Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 Comparison of knowledge sharing strategies in a parallel QBF solver. Search on Bibsonomy HPCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paolo Marin, Matthew D. T. Lewis, Tobias Schubert 0001, Massimo Narizzano, Bernd Becker 0001, Enrico Giunchiglia Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Enrico Giunchiglia, Paolo Marin, Massimo Narizzano Preprocessing Techniques for QBFs. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
Displaying result #1 - #16 of 16 (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