PicoSAT swMATH ID: 7092 Software Authors: Biere, Armin Description: PicoSAT essentials. We describe and evaluate optimized compact data structures for watching literals. Experiments with our SAT solver PicoSAT show that this low-level optimization not only saves memory, but also turns out to speed up the SAT solver considerably. We also discuss how to store proof traces compactly in memory and further unique features of PicoSAT including an aggressive restart schedule. Homepage: http://fmv.jku.at/picosat/ Keywords: SAT solver; watched literals; occurrence lists; proof traces; restarts Related Software: MiniSat; Chaff; BerkMin; SATO; Sat4j; SMT-LIB; Plingeling; RSat; z3; Lingeling; VAMPIRE; Pueblo; UBCSAT; Siege; DRAT-trim; TPTP; MiniMaxSat; ManySAT; DIMACS; SATzilla Cited in: 86 Documents Further Publications: http://fmv.jku.at/papers/index.html Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year PicoSAT essentials. Zbl 1159.68403Biere, Armin 2008 all top 5 Cited by 154 Authors 13 Marques-Silva, João P. 7 Biere, Armin 5 Belov, Anton 5 Heule, Marijn J. H. 5 Lynce, Inês 4 Lonsing, Florian 4 Morgado, António 3 Ansótegui, Carlos 3 Brummayer, Robert 3 Goldberg, Eugene L. 3 Hoos, Holger H. 3 Janota, Mikoláš 3 Manquinho, Vasco M. 3 Marić, Filip 3 Martins, Ruben 2 Alves Rocha, Thiago 2 Asín Achá, Roberto 2 Brown, Chad Edward 2 Hecher, Markus 2 Hunt, Warren A. jun. 2 Kröning, Daniel 2 Kullmann, Oliver 2 Manolios, Panagiotis 2 Martins Ferreira, Francicleber 2 Martins, Ana Teresa 2 Nieuwenhuis, Robert 2 Planes, Jordi 2 Thier, Patrick 2 Tompkins, Dave A. D. 2 Van Gelder, Allen 2 Wetzler, Nathan D. 2 Woltran, Stefan 1 Ahmed, Tanbir 1 Balint, Adrian 1 Balyo, Tomáš 1 Banković, Milan 1 Batty, Mark 1 Bienmüller, Tom 1 Bjørner, Nikolaj S. 1 Bofill, Miquel 1 Bonet, Maria Luisa 1 Brain, Martin 1 Brandt, Felix 1 Bulteau, Laurent 1 Cherif, Mohamed Sami 1 Chu, Geoffrey 1 Cimatti, Alessandro 1 Constantinides, George A. 1 Cotton, Scott 1 Creus, Carles 1 Cruanes, Simon 1 de Moura, Leonardo 1 Egly, Uwe 1 Ehlers, Rüdiger 1 Färber, Michael 1 Fichte, Johannes Klaus 1 Froese, Vincent 1 Fröhlich, Andreas M. 1 Gebser, Martin 1 Godoy, Guillem 1 Griggio, Alberto 1 Gu, Ming 1 Habet, Djamal 1 Hartung, Sepp 1 Harwood, Aaron 1 He, Fei 1 Heras, Federico 1 Ignatyev, Alexey A. 1 Janičić, Predrag 1 Järvisalo, Matti 1 Kaufmann, Benjamin 1 Khasidashvili, Zurab O. 1 KhudaBukhsh, Ashiqur R. 1 Klimoš, Miroslav 1 Korovin, Konstantin 1 Kucera, Antonin 1 Kugler, Hillel 1 Kyrillidis, Anastasios 1 Le Berre, Daniel 1 Levy, Jordi 1 Leyton-Brown, Kevin 1 Liffiton, Mark H. 1 Malik, Sharad 1 Malinowski, Janusz 1 Manthey, Norbert 1 Marek, V. Wiktor 1 Mencía, Carlos 1 Morak, Michael 1 Nadel, Alexander 1 Niebert, Peter 1 Niedermeier, Rolf 1 Ojeda, Jesús 1 Oliveras, Albert 1 Olveczky, Peter Csaba 1 Ouaknine, Joel O. 1 Pacheco, António 1 Palahí, Miquel 1 Palikareva, Hristina 1 Pon, Josep 1 Py, Matthieu ...and 54 more Authors all top 5 Cited in 25 Serials 6 Artificial Intelligence 4 Journal of Satisfiability, Boolean Modeling and Computation 3 Journal of Automated Reasoning 3 Constraints 2 Theoretical Computer Science 2 Computational Geometry 1 Discrete Applied Mathematics 1 Journal of Economic Theory 1 Studia Logica 1 Science of Computer Programming 1 SIAM Journal on Discrete Mathematics 1 Formal Aspects of Computing 1 AI Communications 1 Annals of Operations Research 1 Formal Methods in System Design 1 The Journal of Artificial Intelligence Research (JAIR) 1 Annals of Mathematics and Artificial Intelligence 1 Fundamenta Informaticae 1 Theory and Practice of Logic Programming 1 Journal of Applied Mathematics 1 ACM Journal of Experimental Algorithmics 1 Lecture Notes in Computer Science 1 Logical Methods in Computer Science 1 Algorithms 1 Texts in Theoretical Computer Science. An EATCS Series all top 5 Cited in 12 Fields 80 Computer science (68-XX) 14 Mathematical logic and foundations (03-XX) 6 Operations research, mathematical programming (90-XX) 3 Combinatorics (05-XX) 2 Convex and discrete geometry (52-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Statistics (62-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year