PBS swMATH ID: 4622 Software Authors: Aloul, F. A., Ramani, A., Markov, I. L., & Sakallah, K. A. Description: Reads as input both: CNF constraints, PB constraints (e.g. -2x + 3y + . + 6z <= 7, where x, y, and z are Boolean literals.) Can be used to solve decision (Yes/No) and optimization (Max/Min) problems. Includes incremental features. PBS options include: Static/Dynamic decision heuristics, 1-UIP conflict diagnosis, Random restarts and backtracking Homepage: http://www.aloul.net/Tools/pbs/ Keywords: backtrack-search pseudo-Boolean solver and optimizer Related Software: Chaff; MiniSat; Pueblo; BerkMin; SATO; MiniMaxSat; Sat4j; PicoSAT; MaxSolver; MIPLIB; Velev SAT Benchmarks; Walksat; SATIRE; OPIUM; clasp; RPOLY; CP-nets; PSPLIB; Smodels; Shatter Cited in: 38 Publications all top 5 Cited by 72 Authors 5 Marques-Silva, João P. 5 Truszczyński, Mirosław 4 Aloul, Fadi A. 4 Markov, Igor L. 4 Ramani, Arathi 4 Sakallah, Karem A. 3 Strichman, Ofer 2 Chaki, Sagar 2 Giunchiglia, Enrico 2 Graça, Ana 2 Liu, Lengning 2 Lynce, Inês 2 Manquinho, Vasco M. 2 Maratea, Marco 2 Niemelä, Ilkka N. F. 2 Planes, Jordi 1 Argelich, Josep 1 Asín Achá, Roberto 1 Bailleux, Olivier 1 Boufkhad, Yacine 1 Bressan, Stéphane 1 Chockler, Hana 1 Cimatti, Alessandro 1 Clarke, Edmund Melson jun. 1 Dechter, Rina 1 Di Rosa, Emanuele 1 East, Deborah 1 Franzén, Anders 1 Fränzle, Martin 1 Fujita, Masahiro 1 Ganai, Malay K. 1 Goebel, Randy G. 1 Griggio, Alberto 1 Groce, Alex 1 Gupta, Aarti 1 Gurfinkel, Arie 1 Heras, Federico 1 Herde, Christian 1 Horbach, Andrei 1 Iakhiaev, Mikhail 1 Janhunen, Tomi 1 Kautz, Henry A. 1 Liffiton, Mark H. 1 Liu, Guohua 1 Manyà, Felip 1 Marek, V. Wiktor 1 Marinescu, Radu 1 Mikitiuk, Artur 1 Morgado, António 1 Nieuwenhuis, Robert 1 Oliveira, Arlindo L. 1 Ouaknine, Joel O. 1 Prestwich, Steven D. 1 Pretolani, Daniele 1 Roussel, Olivier 1 Sabharwal, Ashish 1 Sakunkonchak, Thanyapat 1 Sebastiani, Roberto 1 Selman, Bart 1 Seto, Kenshu 1 Sheini, Hossein M. 1 Shen, Haiou 1 Silva Coelho, José 1 Smaus, Jan-Georg 1 Stenico, Cristian 1 Talupur, Muralidhar 1 Vanhoucke, Mario 1 Xing, Zhao 1 Yorav, Karen 1 You, Jia-Huai 1 Zhang, Hantao 1 Zhang, Weixiong all top 5 Cited in 13 Serials 4 Annals of Mathematics and Artificial Intelligence 4 Constraints 3 Annals of Operations Research 3 Formal Methods in System Design 3 Journal of Satisfiability, Boolean Modeling and Computation 2 The Journal of Artificial Intelligence Research (JAIR) 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 Journal of the Franklin Institute 1 IEEE Transactions on Computers 1 AI Communications 1 European Journal of Operational Research 1 Theory and Practice of Logic Programming all top 5 Cited in 6 Fields 31 Computer science (68-XX) 12 Operations research, mathematical programming (90-XX) 3 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year