Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Biere, Armin, Heule, Marijn, Maaren, Hans van and Walsh, Toby, eds. 2009. Handbook of Satisfiability. Frontiers in Artifical Intelligence and Applications n. 185. Amsterdam: IOS Press.