Quaffle swMATH ID: 7278 Software Authors: L. Zhang; S. Malik; SAT Research Group, Princeton University; Yinlei Yu Description: Quaffle: Quantified Boolean Formula Evaluator with Learning Quaffle is an experimental QBF solver. The idea of this solver is described in the following two papers: L. Zhang and S. Malik, ”Towards Symmetric Treatment of Conflicts And Satisfaction in Quantified Boolean Satisfiability Solver”, Proceedings of 8th International Conference on Principles and Practice of Constraint Programming (CP2002). Ithaca, NY, Sept. 2002. [PDF] L. Zhang and S. Malik, ”Conflict Driven Learning in a Quantified Boolean Satisfiability Solver”, Proceedings of International Conference on Computer Aided Design (ICCAD2002), San Jose, CA, Nov. 2002. [PDF] Source code for Quaffle is available for download here . Please read the lincence agreement on the top of each file. The code is experimental and for algorithm evaluation only. It should compile under most Unix/Linux machines using g++. The run time comparison of Quaffle with two other state of the art QBF solvers QuBE and Semprop is available here. The benchmarks are obtained from QBFLib. The experiments were carried out on a Dell PowerEdge 1500sc with 1133Mhz PIII CPU and 1G memory. Time out limit is 600 seconds. Homepage: http://www.princeton.edu/~chaff/quaffle.html Related Software: Chaff; QUBOS; DepQBF; MiniSat; semprop; Bloqqer; QUBE; QuBE++; BerkMin; sKizzo; CAQE; Nenofex; sQueezeBF; PicoSAT; SATO; Quantor; QBFLIB; Velev SAT Benchmarks; MOCHA; HQSpre Cited in: 62 Publications all top 5 Cited by 103 Authors 7 Beyersdorff, Olaf 7 Lonsing, Florian 6 Tacchella, Armando 5 Biere, Armin 5 Seidl, Martina 4 Chew, Leroy 4 Egly, Uwe 4 Janota, Mikoláš 4 Mahajan, Meena 4 Narizzano, Massimo 4 Pulina, Luca 3 Giunchiglia, Enrico 3 Kröning, Daniel 3 Le Berre, Daniel 3 Marques-Silva, João P. 3 Slivovsky, Friedrich 3 Woltran, Stefan 2 Blinkhorn, Joshua 2 Clarke, Edmund Melson jun. 2 Coste-Marquis, Sylvie 2 Gent, Ian Philip 2 Jiang, Jie-Hong Roland 2 Klieber, William 2 Letombe, Florian 2 Malik, Sharad 2 Peitl, Tomáš 2 Rowley, Andrew G. D. 2 Şhukla, Anil K. 2 Stéphan, Igor 2 Szeider, Stefan 2 Tang, Daijue 2 Tompits, Hans 1 Ansótegui, Carlos 1 Audemard, Gilles 1 Bacchus, Fahiem 1 Balabanov, Valeriy 1 Balyo, Tomáš 1 Barichard, Vincent 1 Besnard, Philippe 1 Böhm, Benjamin 1 Brown, Stephen D. 1 Brummayer, Robert 1 Bryant, Randal E. 1 Bubeck, Uwe 1 Cook, Byron 1 da Mota, Benoit 1 Faber, Wolfgang 1 Frank, Jeremy 1 Gao, Sicun 1 Goldberg, Eugene L. 1 Gomes, Carla P. 1 Gopalakrishnan, Ganesh Lalitha 1 Hart, Justin W. 1 Hoos, Holger H. 1 Hsu, Tzu-Chien 1 Ignatyev, Alexey A. 1 Jussila, Toni 1 Kleine Büning, Hans 1 Kontchakov, Roman 1 Kuncak, Viktor 1 Lahiri, Shuvendu Kumar 1 Leone, Nicola 1 Ling, Andrew 1 Manolios, Panagiotis 1 Maratea, Marco 1 Marin, Paolo 1 Marquis, Pierre 1 Mengel, Stefan 1 Mneimneh, Maher 1 Nguyen, Huu Hai 1 Nicolas, Pascal 1 Peschiera, Claudia 1 Ranjan, Darsh 1 Remshagen, Anja 1 Ricca, Francesco 1 Rinard, Martin C. 1 Sabharwal, Ashish 1 Saïs, Lakhdar 1 Sakallah, Karem A. 1 Samulowitz, Horst 1 Sapra, Samir 1 Schaub, Torsten H. 1 Schmidt, Renate A. 1 Selman, Bart 1 Seshia, Sanjit Arunkumar 1 Sharygina, Natasha 1 Simon, Laurent S. R. 1 Singh, Deshanand P. 1 Sinz, Carsten 1 Sivaraj, Hemanthkumar 1 Smyth, Kevin 1 Sreenivasaiah, Karteek 1 Strichman, Ofer 1 Suda, Martin 1 Truemper, Klaus 1 Tu, Kuan-Hua 1 Van Gelder, Allen 1 Wintersteiger, Christoph M. 1 Wolter, Frank 1 Yang, Yue ...and 3 more Authors all top 5 Cited in 15 Serials 4 Artificial Intelligence 4 Journal of Automated Reasoning 2 Constraints 1 Information Processing Letters 1 Journal of Computer and System Sciences 1 Theoretical Computer Science 1 Journal of Algorithms 1 AI Communications 1 Journal of Logic and Computation 1 Formal Methods in System Design 1 The Journal of Artificial Intelligence Research (JAIR) 1 Fundamenta Informaticae 1 Journal of Satisfiability, Boolean Modeling and Computation 1 Logical Methods in Computer Science 1 Texts in Theoretical Computer Science. An EATCS Series Cited in 5 Fields 61 Computer science (68-XX) 15 Mathematical logic and foundations (03-XX) 2 Operations research, mathematical programming (90-XX) 2 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) Citations by Year