Pseudo-Boolean Constraints from a Knowledge Representation Perspective.
Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon
Browse the full IJCAI paper archive.
Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon
Browse the full IJCAI paper archive.