CRISNER: A Practically Efficient Reasoner for Qualitative Preferences | Read Paper on Bytez