Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Enrico Giunchiglia

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Paolo Marin

> Home > Persons > Enrico Giunchiglia

Publications

2021
[p2]
- view
  authority control:
- export record
  dblp key:
  - series/faia/GiunchigliaMN21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/GiunchigliaMN21
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
Reasoning with Quantified Boolean Formulas. Handbook of Satisfiability 2021: 1157-1176
2016
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/MarinNPTG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/MarinNPTG16
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia:
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows. Fundam. Informaticae 149(1-2): 133-158 (2016)
2015
[c76]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/MarinNPTG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/MarinNPTG15
Paolo Marin, Massimo Narizzano, Luca Pulina, Armando Tacchella, Enrico Giunchiglia:
An Empirical Perspective on Ten Years of QBF Solving. RCRA@AI*IA 2015: 62-75
2011
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/LewisSBMNG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/LewisSBMNG11
Matthew Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia:
Parallel QBF Solving with Advanced Knowledge Sharing. Fundam. Informaticae 107(2-3): 139-166 (2011)
2010
[j28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/GiunchigliaMN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/GiunchigliaMN10
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
QuBE7.0. J. Satisf. Boolean Model. Comput. 7(2-3): 83-88 (2010)
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/GiunchigliaMN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/GiunchigliaMN10
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning. SAT 2010: 85-98
2009
[c65]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiia/MarinL0N0G09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/MarinL0N0G09
Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia:
Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. RCRA@AI*IA 2009
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/ieeehpcs/MarinNGLSB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ieeehpcs/MarinNGLSB09
Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew Lewis, Tobias Schubert, Bernd Becker:
Comparison of knowledge sharing strategies in a parallel QBF solver. HPCS 2009: 161-167
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/LewisMSNBG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/LewisMSNBG09
Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia:
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT 2009: 509-523
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/faia/GiunchigliaMN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/faia/GiunchigliaMN09
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
Reasoning with Quantified Boolean Formulas. Handbook of Satisfiability 2009: 761-780
2008
[c57]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/rcra/GiunchigliaMN08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rcra/GiunchigliaMN08
Enrico Giunchiglia, Paolo Marin, Massimo Narizzano:
Preprocessing Techniques for QBFs. RCRA 2008

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.