Constraint acquisition systems assist the non-expert user in modelling her problem as a constraint network. QUACQ is sequential algorithm that generates queries (partial) examples to be classified positive or negative. The drawbacks are may need answer great number of such examples, within significant waiting time between two learn all constraints. In this paper, we propose PACQ, portfolio-base...

We study the impact of quenched disorder on dynamics locally constrained quantum spin chains, that describe 1D arrays Rydberg atoms in both frozen (Ising-type) and dressed ($XY$-type) regime. Performing large-scale numerical experiments, we observe no trace many-body localization even at large disorder. Analyzing role terms systems show they act two, distinct competing ways: as an on-site term ...