Lista en un entorno de cotización que no sale del espacio reservado para ello

Question

Como pueden ver en la imagen adjunta mi problema está a punto de listar "Istanza" y "Domanda" con una especie de énfasis, así que los puse entre comillas pero la entrada para "Domanda" sale un poco del espacio reservado para texto, ¿cómo puedo ajustarlo de forma óptima?

Este es el código:

\begin{quote}
    \begin{itemize}
        \item[Istanza:] Insieme finito $ U $ di oggetti, una taglia $ s(u) \in \mathbb{Z}^+ \: \forall u \in U $, una capacità intera
                        per i bins $ B $ e un intero positivo $ K $.
        \item[Domanda:] Esiste una partizione di $ U $ in insiemi disgiunti $ U_1, U_2, ..., U_k $ tale che la somma delle taglie degli
                        oggetti in ogni $ U_i $ è $ \leq B $.
    \end{itemize}
\end{quote}

Answer 1

Aquí hay una solución con tabularx. Lo difícil fue poner una línea en blanco entre las definiciones.

Usando el paquete de matriz se puede hacer que la negrita sea automática.

\documentclass{article}
\usepackage{amssymb}
\usepackage[italian]{babel}
\usepackage{tabularx}
\usepackage{lipsum}

\begin{document}

\lipsum[11]% needed for \hrule
\hrule
\begin{quote}
    \begin{tabularx}{\dimexpr\linewidth-\rightskip}{@{} rX @{}}
        \textbf{Istanza:} & Insieme finito $ U $ di oggetti, una taglia $ s(u) \in \mathbb{Z}^+ \: \forall u \in U $, una capacità intera
                        per i bins $ B $ e un intero positivo $ K $. \\
        \\% add blank line between rows
        \textbf{Domanda:} & Esiste una partizione di $ U $ in insiemi disgiunti $ U_1, U_2, ..., U_k $ tale che la somma delle taglie degli
                        oggetti in ogni $ U_i $ è $ \leq B $.
    \end{tabularx}
\end{quote}
\hrule
\begin{quote}\def\arraystretch{2}\vspace{-0.5\baselineskip}% add space between rows
    \begin{tabularx}{\linewidth}{@{} rX @{}}
        \textbf{Istanza:} & Insieme finito $ U $ di oggetti, una taglia $ s(u) \in \mathbb{Z}^+ \: \forall u \in U $, una capacità intera
                        per i bins $ B $ e un intero positivo $ K $. \\
        \textbf{Domanda:} & Esiste una partizione di $ U $ in insiemi disgiunti $ U_1, U_2, ..., U_k $ tale che la somma delle taglie degli
                        oggetti in ogni $ U_i $ è $ \leq B $.
    \end{tabularx}
    \vspace{-0.5\baselineskip}%
\end{quote}
\hrule

\end{document} 

Answer 2

Aquí hay una solución con enumitemy calc:

\documentclass{article}
\usepackage{amssymb}
\usepackage[italian]{babel}
\usepackage{calc}
\usepackage{lipsum}
\usepackage{enumitem}

\begin{document}

\lipsum[11]

\begin{quote}
    \begin{itemize}[align = left, labelwidth=\widthof{Domanda\hskip\labelsep}]
        \item[Istanza:] Insieme finito $ U $ di oggetti, una taglia $ s(u) \in \mathbb{Z}^+ \: \forall u \in U $, una capacità intera
                        per i bins $ B $ e un intero positivo $ K $.
        \item[Domanda:] Esiste una partizione di $ U $ in insiemi disgiunti $ U_1, U_2, ..., U_k $ tale che la somma delle taglie degli
                        oggetti in ogni $ U_i $ è $ \leq B $.
    \end{itemize}
\end{quote}

\end{document}