Resolution PB compilation