×

zbMATH — the first resource for mathematics

Journal of Satisfiability, Boolean Modeling and Computation

Short Title: J. Satisf. Boolean Model. Comput.
Publisher: IOS Press, Amsterdam; SAT Association
ISSN: 1574-0617
Online: http://www.iospress.nl/journal/journal-on-satisfiability-boolean-modeling-and-computation/
http://satassociation.org/jsat
Documents indexed: 85 Publications (since 2006)
all top 5

Authors

4 Heule, Marijn J. H.
4 Marques-Silva, João P.
4 Saïs, Lakhdar
3 Biere, Armin
3 Kleine Büning, Hans
3 Manquinho, Vasco M.
3 Roussel, Olivier
3 van Maaren, Hans
3 Zhao, Xishun
2 Anjos, Miguel F.
2 Hamadi, Youssef
2 Jabbour, Said
2 Le Berre, Daniel
2 Lecoutre, Christophe
2 Niemelä, Ilkka N. F.
2 Nocco, Sergio
2 Quer, Stefano
2 Schubert, Tobias
2 Sinz, Carsten
2 Stuckey, Peter James
2 Weaver, Sean A.
1 Acharyya, Sriyankar
1 Alberti, Francesco
1 Argelich, Josep
1 Bailleux, Olivier
1 Barrett, Clark W.
1 Becker, Bernd
1 Belov, Anton
1 Benedetti, Marco
1 Boufkhad, Yacine
1 Brummayer, Robert
1 Bryant, Randal E.
1 Bubeck, Uwe
1 Buchheim, Christoph
1 Chavira, Mark
1 Chebiryak, Yury
1 Chen, Huan
1 Choi, Arthur
1 Chu, Geoffrey
1 Codish, Michael
1 Coste-Marquis, Sylvie
1 Dantsin, Evgeny
1 Darwiche, Adnan
1 de Givry, Simon
1 Drechsler, Rolf
1 Eén, Niklas
1 Esparza, Javier
1 Fang, Lei
1 Flores, Paulo
1 Franco, John V.
1 Fränzle, Martin
1 Fujita, Hiroshi
1 Fujita, Masahiro
1 Ganai, Malay K.
1 Garcia, Luz
1 Gershman, Roman
1 Ghilardi, Silvio
1 Gil, Luís
1 Goldberg, Eugene L.
1 Gretton, Charles
1 Griggio, Alberto
1 Gupta, Aarti
1 Haanpää, Harri
1 Harwood, Aaron
1 Hasegawa, Ryuzo
1 Haus, Utz-Uwe
1 Haynal, Heidi
1 Haynal, Steve
1 Heras, Federico
1 Herde, Christian
1 Hertel, Alexander
1 Hirsch, Edward A.
1 Hsiao, Michael S.
1 Hyvärinen, Antti E. J.
1 Janota, Mikoláš
1 Järvisalo, Matti
1 Jin, HoonSang
1 Jin, Jiwei
1 Junttila, Tommi A.
1 Kaski, Petteri
1 Kiefer, Stefan
1 Kim, Hyondeuk
1 Kojevnikov, Arist
1 Koshimura, Miyuki
1 Kröning, Daniel
1 Krzakąła, Florent
1 Kulikov, Alexander S.
1 Kullmann, Oliver
1 Kutzkov, Konstantin
1 Lagoon, Vitaly
1 Lahiri, Shuvendu Kumar
1 Langlois, Marina
1 Larrosa, Javier
1 Letombe, Florian
1 Lewis, Matthew D. T.
1 Li, Chu Min
1 Li, Chumin
1 Lozinskii, Eliezer L.
1 Lynce, Inês
1 Mangassarian, Hratch
...and 73 more Authors

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription