Fadi A. Aloul, Arathi Ramani, Igor Markov, Karem Sakallah
PBS: A backtrack-search psuedo-Boolean solver and optimizer
SAT, 2002.
@inproceedings{SAT-2002-AloulRMS1, address = "Cincinnati, Ohio, USA", author = "Fadi A. Aloul and Arathi Ramani and Igor Markov and Karem Sakallah", booktitle = "{Proceedings of the Fifth International Symposium on the Theory and Applications of Satisfiability Testing}", editor = "John Franco", month = "may", pages = "37", title = "{PBS: A backtrack-search psuedo-Boolean solver and optimizer}", year = 2002, }