Giunchiglia, EEGiunchigliaNarizzano, MMNarizzanoTacchella, AATacchellaASI Sponsor2020-09-172020-09-172003-01-01https://hdl.handle.net/20.500.13025/1364Backjumping for quantified Boolean logic satisfiabilityjournal articlehttp://www.sciencedirect.com/science/article/pii/S000437020200373954dcce088580fe1368eeb05c