Liste em um ambiente de cotação que não saia do espaço reservado a ela

Question

Como vocês podem ver na imagem anexa meu problema é listar "Istanza" e "Domanda" com uma espécie de ênfase, então coloquei-os no ambiente de cotação mas a entrada para "Domanda" sai um pouco do espaço reservado para texto, como posso encaixá-lo da maneira ideal?

Este é o 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

Aqui está uma solução com tabularx. A parte difícil foi colocar uma linha em branco entre as definições.

Usando o pacote array pode-se tornar o negrito automático.

\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

Aqui está uma solução com enumiteme 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}