JBool swMATH ID: 6185 Software Authors: Claude Benzaken; Nadia Brauner Description: This software promotes some general and useful tools for handling, editing and computing (on) Boolean Functions defined either by conjonctive normal forms (clausal) or by disjonctive ones. Boolean Functions: Theory, Algorithms and Applications, Y. Crama and P.L. Hammer (Ed.) (2011) Appendix C Homepage: http://orbi.ulg.ac.be/handle/2268/72714 Related Software: OEIS; MiniSat; GitHub; Ltur; Couenne; BARON; DIMACS; PicoSAT; UCI-ml; C4.5; Scikit; DSGRN; BoolNet; Gurobi; LINDO; COIN-OR; DAGGER; RRE; TPDB; Tyrolean Cited in: 128 Documents all top 5 Cited by 220 Authors 13 Boros, Endre 10 Makino, Kazuhisa 9 Gurvich, Vladimir A. 8 Crama, Yves 7 Milanič, Martin 7 Movsisyan, Yuri Movses 6 Lejeune, Miguel A. 5 Aslanyan, Vahagn A. 5 Couceiro, Miguel 4 Korenblit, Mark 3 Chiarelli, Nina 3 Elbassioni, Khaled M. 3 Gruber, Aritanan 3 Kogan, Alexander 3 Kučera, Petr 3 Lozin, Vadim Vladislavovich 3 Rodríguez-Heck, Elisabeth 3 Živný, Stanislav 2 Anthony, Martin H. G. 2 Borgonovo, Emanuele 2 Čepek, Ondřej 2 Cicalese, Ferdinando 2 Ganian, Robert 2 Hammer, Peter Ladislaw 2 Hellerstein, Lisa 2 Horváth, Eszter K. 2 Ibaraki, Toshihide 2 Kolmogorov, Vladimir 2 Krokhin, Andrei A. 2 Kullmann, Oliver 2 Lehtonen, Erkko 2 Levit, Vadim E. 2 Li, Haitao 2 Marques-Silva, João P. 2 Mercuriali, Pierre 2 Monteiro, Pedro T. 2 Moshkov, Mikhail Ju. 2 Pasalic, Enes 2 Péchoux, Romain 2 Rauf, Imran 2 Simeone, Bruno 2 Stephen, Tamon 2 Szeider, Stefan 2 Thapper, Johan 2 Toda, Takahisa 2 Waldhauser, Tamás 2 Wang, Yuzhen 2 Yukna, Stasys P. 2 Zamaraev, Victor A. 2 Zamaraeva, Elena 2 Zolotykh, Nikolaĭ Yur’evich 1 Abou-Jaoudé, Wassim 1 Adem, Jan 1 Al-Saedi, Balasim 1 Albarakati, Hussain Mobarak 1 Aliee, Hananeh 1 Bach, Eric 1 Benzaken, Claude 1 Bérczi, Kristóf 1 Bertet, Karell 1 Bianchi, Gianpiero 1 Blais, Eric 1 Bockmayr, Alexander 1 Borovitskiĭ, Vyacheslav A. 1 Brabant, Quentin 1 Brauner, Nadia 1 Brenner, Ulrich 1 Bruni, Renato 1 Buchheim, Christoph 1 Can, Yavuz 1 Carlet, Claude 1 Chikalov, Igor V. 1 Chindelevitch, Leonid 1 Cohen, David A. 1 Crawford-Kahrl, Peter 1 Cummins, Bree 1 Das, Anupam 1 Defrain, Oscar 1 Dolente, Cosimo 1 Dusart, Jérémie 1 Emelyanov, Pavel G. 1 Feng, Xiutao 1 Fischer, Anja 1 Fischer, Frank 1 Flobak, Åsmund 1 Fourdrinoy, Olivier 1 Friedel, Maik 1 Fromion, Vincent 1 Gagie, Travis 1 Gatterbauer, Wolfgang 1 Gedeon, Tomáš 1 Glass, Michael S. 1 Gochet, Willy F. 1 Goelzer, Anne 1 Golumbic, Martin Charles 1 Gómez-Flores, Axel O. 1 Gong, Guang 1 Grégoire, Éric 1 Gwynne, Matthew 1 Hermann, Miki ...and 120 more Authors all top 5 Cited in 64 Serials 23 Discrete Applied Mathematics 6 Annals of Operations Research 5 SIAM Journal on Computing 5 Theoretical Computer Science 5 Annals of Mathematics and Artificial Intelligence 4 Discrete Mathematics 3 European Journal of Operational Research 2 Artificial Intelligence 2 Mathematical Social Sciences 2 Computers & Operations Research 2 Mathematical Programming. Series A. Series B 2 The Journal of Artificial Intelligence Research (JAIR) 2 Journal of Combinatorial Optimization 2 Journal of Multiple-Valued Logic and Soft Computing 2 Discrete Mathematics, Algorithms and Applications 2 Armenian Journal of Mathematics 2 Cryptography and Communications 2 Journal of Theoretical Biology 2 Open Mathematics 1 Information Processing Letters 1 Journal of Mathematical Biology 1 Rocky Mountain Journal of Mathematics 1 ACM Transactions on Database Systems 1 Algebra Universalis 1 Demonstratio Mathematica 1 Fuzzy Sets and Systems 1 Information Sciences 1 Journal of Computer and System Sciences 1 Journal of Mathematical Psychology 1 Mathematics of Operations Research 1 Operations Research 1 SIAM Journal on Control and Optimization 1 European Journal of Combinatorics 1 Journal of Classification 1 Social Choice and Welfare 1 Information and Computation 1 Journal of Automated Reasoning 1 SIAM Journal on Discrete Mathematics 1 Neural Networks 1 Computational Mathematics and Modeling 1 Journal of Logic and Computation 1 Japan Journal of Industrial and Applied Mathematics 1 MSCS. Mathematical Structures in Computer Science 1 Games and Economic Behavior 1 The Electronic Journal of Combinatorics 1 Theory of Computing Systems 1 Soft Computing 1 Journal of Discrete Mathematical Sciences & Cryptography 1 Journal of Systems Science and Complexity 1 Natural Computing 1 Journal of Applied Mathematics and Computing 1 Central European Journal of Mathematics 1 Quantum Information Processing 1 ACM Journal of Experimental Algorithmics 1 Fuzzy Optimization and Decision Making 1 Discrete Optimization 1 Encyclopedia of Mathematics and Its Applications 1 Optimization Letters 1 Logical Methods in Computer Science 1 Mathematical Geosciences 1 Ars Mathematica Contemporanea 1 Asian Journal of Control 1 SIAM/ASA Journal on Uncertainty Quantification 1 Prikladnaya Diskretnaya Matematika all top 5 Cited in 20 Fields 51 Computer science (68-XX) 40 Order, lattices, ordered algebraic structures (06-XX) 26 Operations research, mathematical programming (90-XX) 26 Information and communication theory, circuits (94-XX) 20 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 17 Combinatorics (05-XX) 10 Mathematical logic and foundations (03-XX) 9 General algebraic systems (08-XX) 6 Biology and other natural sciences (92-XX) 4 Group theory and generalizations (20-XX) 4 Statistics (62-XX) 3 Numerical analysis (65-XX) 3 Systems theory; control (93-XX) 2 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Ordinary differential equations (34-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Convex and discrete geometry (52-XX) 1 Quantum theory (81-XX) 1 Geophysics (86-XX) Citations by Year