×

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 Lozinskii, Eliezer L.
1 Lynce, Inês
1 Mangassarian, Hratch
1 Manyà, Felip
...and 70 more Authors

Publications by Year

Citations contained in zbMATH Open

66 Publications have been cited 433 times in 335 Documents Cited by Year
Translating pseudo-Boolean constraints into SAT. Zbl 1116.68083
Eén, Niklas; Sörensson, Niklas
57
2006
PicoSAT essentials. Zbl 1159.68403
Biere, Armin
40
2008
Lazy satisfiability modulo theories. Zbl 1145.68501
Sebastiani, Roberto
38
2007
Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. Zbl 1144.68371
Fränzle, Martin; Herde, Christian; Teige, Tino; Ratschan, Stefan; Schubert, Tobias
35
2006
QBF-based formal verification: experience and perspectives. Zbl 1172.68538
Benedetti, Marco; Mangassarian, Hratch
24
2009
ManySAT: a parallel SAT solver. Zbl 1193.68227
Hamadi, Youssef; Jabbour, Said; Sais, Lakhdar
19
2009
The first and second Max-SAT evaluations. Zbl 1159.68561
Argelich, Josep; Li, Chu-Min; Manyà, Felip; Planes, Jordi
12
2008
QMaxSAT: A partial Max-SAT solver. Zbl 1331.68209
Koshimura, Miyuki; Zhang, Tong; Fujita, Hiroshi; Hasegawa, Ryuzo
12
2012
A translation of pseudo-Boolean constraints to SAT. Zbl 1116.68078
Bailleux, Olivier; Boufkhad, Yacine; Roussel, Olivier
10
2006
MUSer2: an efficient MUS extractor. Zbl 1322.68178
Belov, Anton; Marques-Silva, Joao
9
2014
Pueblo: a hybrid pseudo-Boolean SAT solver. Zbl 1116.68090
Sheini, Hossein M.; Sakallah, Karem A.
9
2006
A practical approach to satisfiability modulo linear integer arithmetic. Zbl 1331.68207
Griggio, Alberto
9
2012
A computational trichotomy for connectivity of Boolean satisfiability. Zbl 1327.68137
Schwerdtfeger, Konrad W.
8
2014
PaMiraXT: parallel SAT solving with threads and message passing. Zbl 1190.68057
Schubert, Tobias; Lewis, Matthew; Becker, Bernd
8
2009
An abstract decision procedure for a theory of inductive data types. Zbl 1129.68022
Barrett, Clack; Shikanian, Igor; Tinelli, Cesare
8
2007
Lemmas on demand for the extensional theory of arrays. Zbl 1187.68168
Brummayer, Robert; Biere, Armin
7
2009
Report of the third QBF solvers evaluation. Zbl 1116.68089
Narizzano, Massimo; Pulina, Luca; Tacchella, Armando
7
2006
Solving weighted Max-SAT problems in a reduced search space: a performance analysis. Zbl 1159.68567
Pipatsrisawat, Knot; Palyan, Akop; Chavira, Mark; Choi, Arthur; Darwiche, Adnan
7
2008
Semidefinite optimization approaches for satisfiability and maximum-satisfiability problems. Zbl 1194.90064
Anjos, Miguel F.
6
2006
2006 and 2007 Max-SAT evaluations: contributed instances. Zbl 1159.68565
Heras, Federico; Larrosa, Javier; de Givry, Simon; Schiex, Thomas
6
2008
On solving Boolean combinations of UTVPI constraints. Zbl 1129.68079
Seshia, Sanjit A.; Subramani, K.; Bryant, Randal E.
5
2007
Improved bound for the PPSZ/Schöning-algorithm for 3-SAT. Zbl 1148.68474
Rolf, Daniel
5
2006
The first evaluation of pseudo-Boolean solvers (PB’05). Zbl 1116.68088
Manquinho, Vasco M.; Roussel, Olivier
5
2006
Universal guards, relativization of quantifiers, and failure models in model checking modulo theories. Zbl 1331.68141
Alberti, Francesco; Ghilardi, Silvio; Pagani, Elena; Ranise, Silvio; Rossi, Gian Paolo
5
2012
Compactly generating all satisfying truth assignments of a Horn formula. Zbl 1348.68233
Wild, Marcel
5
2012
Controlling a solver execution with the runsolver Tool. Zbl 1331.68210
Roussel, Olivier
5
2011
Incorporating clause learning in grid-based randomized SAT solving. Zbl 1190.68055
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
4
2009
Towards a classification of Hamiltonian cycles in the 6-cube. Zbl 1147.68703
Chebiryak, Yury; Kroening, Daniel
4
2008
Encoding nested Boolean functions as quantified Boolean formulas. Zbl 1331.68199
Bubeck, Uwe; Kleine Büning, Hans
4
2012
Matched formulas and backdoor sets. Zbl 1187.68254
Szeider, Stefan
3
2009
PMSat: a parallel version of MiniSAT. Zbl 1187.68542
Gil, Luís; Flores, Paulo; Silveira, Luís Miguel
3
2009
Reweighted belief propagation and quiet planting for random \(K\)-SAT. Zbl 1322.68182
Krzakala, Florent; Mézard, Marc; Zdeborová, Lenka
3
2014
Recording and minimizing nogoods from restarts. Zbl 1144.68373
Lecoutre, Christophe; Saïs, Lakhdar; Tabary, Sébastien; Vidal, Vincent
3
2006
Combining adaptive and dynamic local search for satisfiability. Zbl 1159.68566
Pham, Duc Nghia; Thornton, John; Gretton, Charles; Sattar, Abdul
3
2008
Deterministic parallel DPLL. Zbl 1331.68208
Hamadi, Youssef; Jabbour, Said; Piette, Cedric; Sais, Lakhdar
3
2011
Terse integer linear programs for Boolean optimization. Zbl 1180.90193
Buchheim, Christoph; Rinaldi, Giovanni
2
2009
Contrasat – a contrarian SAT solver. Zbl 1322.68188
van Gelder, Allen
2
2014
An extended semidefinite relaxation for satisfiability. Zbl 1169.90404
Anjos, Miguel F.
2
2008
Complexity results for quantified Boolean formulae based on complete propositional languages. Zbl 1116.68082
Coste-Marquis, Sylvie; Le Berre, Daniel; Letombe, Florian; Marquis, Pierre
2
2006
Hard satisfiable clause sets for benchmarking equivalence reasoning techniques. Zbl 1116.68084
Haanpää, Harri; Järvisalo, Matti; Kaski, Petteri; Niemelä, Ilkka
2
2006
March_dl: adding adaptive heuristics and a new branching strategy. Zbl 1116.68085
Heule, Marijn J. H.; van Maaren, Hans
2
2006
The SAT 2005 solver competition on random instances. Zbl 1116.68087
Kullmann, Oliver
2
2006
Decomposing SAT problems into connected components. Zbl 1116.68079
Biere, Armin; Sinz, Carsten
2
2006
TG-Pro: A SAT-based ATPG system. Zbl 1331.68204
Chen, Huan; Marques-Silva, Joao
2
2012
PackUp: tools for package upgradability solving. Zbl 1348.68228
Janota, Mikoláš; Lynce, Inês; Manquinho, Vasco; Marques-Silva, Joao
2
2012
Horn upper bounds and renaming. Zbl 1221.68103
Langlois, Marina; Sloan, Robert H.; Turán, György
2
2010
Cache conscious data structures for Boolean satisfiability solvers. Zbl 1187.68169
Chu, Geoffrey; Harwood, Aaron; Stuckey, Peter J.
1
2009
Satisfiability-based set membership filters. Zbl 1322.68187
Weaver, Sean A.; Ray, Katrina J.; Marek, Victor W.; Mayer, Andrew J.; Walker, Alden K.
1
2014
The complexity of some subclasses of minimal unsatisfiable formulas. Zbl 1137.68028
Kleine Büning, Hans; Zhao, Xishun
1
2007
Disequality management in integer difference logic via finite instantiations. Zbl 1129.68078
Kim, Hyondeuk; Jin, Hoonsang; Somenzi, Fabio
1
2007
Using SAT encodings to derive CSP value ordering heuristics. Zbl 1147.68714
Lecoutre, Christophe; Saïs, Lakhdar; Vion, Julien
1
2006
It’s all about the support: a new perspective on the satisfiability problem. Zbl 1145.68531
Vilenchik, Dan
1
2007
Extending existential quantification in conjuctions of BDDs. Zbl 1138.94401
Weaver, Sean; Franco, John; Schlipf, John
1
2006
SAT algorithms for colouring some special classes of graphs: some theoretical and experimental results. Zbl 1147.68700
Acharyya, Sriyankar
1
2008
A faster clause-shortening algorithm for SAT with no restriction on clause length. Zbl 1116.68115
Dantsin, Evgeny; Wolpert, Alexander
1
2006
Special issue: On the SAT 2005 competitions and evaluations. Zbl 1109.68317
Le Berre, Daniel (ed.); Simon, Laurent (ed.)
1
2006
On using cutting planes in pseudo-Boolean optimization. Zbl 1177.90297
Manquinho, Vasco M.; Marques-Silva, João
1
2006
Locality and hard SAT-instances. Zbl 1113.68483
Markström, Klas
1
2006
Back to the SAT05 competition: an a posteriori analysis of solver performance on industrial benchmarks. Zbl 1113.68485
Zarpas, Emmanuel
1
2006
Parallel SAT solving using bit-level operations. Zbl 1170.68594
Heule, Marijn J. H.; van Maaren, Hans
1
2008
Whose side are you on? Finding solutions in a biased search-tree. Zbl 1170.68595
Heule, Marijn J. H.; van Maaren, Hans
1
2008
tts: a SAT-solver for small, difficult instances. Zbl 1159.68569
Spence, Ivor
1
2008
Reusing the assignment trail in CDCL solvers. Zbl 1331.68214
van der Tak, Peter; Ramos, Antonio; Heule, Marijn
1
2011
Generating and searching families of FFT algorithms. Zbl 1348.68065
Haynal, Steve; Haynal, Heidi
1
2011
Ordered binary decision diagrams, pigeonhole formulas and beyond. Zbl 1221.68105
Tveretina, Olga; Sinz, Carsten; Zantema, Hans
1
2010
Solving partial order constraints for LPO termination. Zbl 1172.68484
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
1
2009
MUSer2: an efficient MUS extractor. Zbl 1322.68178
Belov, Anton; Marques-Silva, Joao
9
2014
A computational trichotomy for connectivity of Boolean satisfiability. Zbl 1327.68137
Schwerdtfeger, Konrad W.
8
2014
Reweighted belief propagation and quiet planting for random \(K\)-SAT. Zbl 1322.68182
Krzakala, Florent; Mézard, Marc; Zdeborová, Lenka
3
2014
Contrasat – a contrarian SAT solver. Zbl 1322.68188
van Gelder, Allen
2
2014
Satisfiability-based set membership filters. Zbl 1322.68187
Weaver, Sean A.; Ray, Katrina J.; Marek, Victor W.; Mayer, Andrew J.; Walker, Alden K.
1
2014
QMaxSAT: A partial Max-SAT solver. Zbl 1331.68209
Koshimura, Miyuki; Zhang, Tong; Fujita, Hiroshi; Hasegawa, Ryuzo
12
2012
A practical approach to satisfiability modulo linear integer arithmetic. Zbl 1331.68207
Griggio, Alberto
9
2012
Universal guards, relativization of quantifiers, and failure models in model checking modulo theories. Zbl 1331.68141
Alberti, Francesco; Ghilardi, Silvio; Pagani, Elena; Ranise, Silvio; Rossi, Gian Paolo
5
2012
Compactly generating all satisfying truth assignments of a Horn formula. Zbl 1348.68233
Wild, Marcel
5
2012
Encoding nested Boolean functions as quantified Boolean formulas. Zbl 1331.68199
Bubeck, Uwe; Kleine Büning, Hans
4
2012
TG-Pro: A SAT-based ATPG system. Zbl 1331.68204
Chen, Huan; Marques-Silva, Joao
2
2012
PackUp: tools for package upgradability solving. Zbl 1348.68228
Janota, Mikoláš; Lynce, Inês; Manquinho, Vasco; Marques-Silva, Joao
2
2012
Controlling a solver execution with the runsolver Tool. Zbl 1331.68210
Roussel, Olivier
5
2011
Deterministic parallel DPLL. Zbl 1331.68208
Hamadi, Youssef; Jabbour, Said; Piette, Cedric; Sais, Lakhdar
3
2011
Reusing the assignment trail in CDCL solvers. Zbl 1331.68214
van der Tak, Peter; Ramos, Antonio; Heule, Marijn
1
2011
Generating and searching families of FFT algorithms. Zbl 1348.68065
Haynal, Steve; Haynal, Heidi
1
2011
Horn upper bounds and renaming. Zbl 1221.68103
Langlois, Marina; Sloan, Robert H.; Turán, György
2
2010
Ordered binary decision diagrams, pigeonhole formulas and beyond. Zbl 1221.68105
Tveretina, Olga; Sinz, Carsten; Zantema, Hans
1
2010
QBF-based formal verification: experience and perspectives. Zbl 1172.68538
Benedetti, Marco; Mangassarian, Hratch
24
2009
ManySAT: a parallel SAT solver. Zbl 1193.68227
Hamadi, Youssef; Jabbour, Said; Sais, Lakhdar
19
2009
PaMiraXT: parallel SAT solving with threads and message passing. Zbl 1190.68057
Schubert, Tobias; Lewis, Matthew; Becker, Bernd
8
2009
Lemmas on demand for the extensional theory of arrays. Zbl 1187.68168
Brummayer, Robert; Biere, Armin
7
2009
Incorporating clause learning in grid-based randomized SAT solving. Zbl 1190.68055
Hyvärinen, Antti E. J.; Junttila, Tommi; Niemelä, Ilkka
4
2009
Matched formulas and backdoor sets. Zbl 1187.68254
Szeider, Stefan
3
2009
PMSat: a parallel version of MiniSAT. Zbl 1187.68542
Gil, Luís; Flores, Paulo; Silveira, Luís Miguel
3
2009
Terse integer linear programs for Boolean optimization. Zbl 1180.90193
Buchheim, Christoph; Rinaldi, Giovanni
2
2009
Cache conscious data structures for Boolean satisfiability solvers. Zbl 1187.68169
Chu, Geoffrey; Harwood, Aaron; Stuckey, Peter J.
1
2009
Solving partial order constraints for LPO termination. Zbl 1172.68484
Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J.
1
2009
PicoSAT essentials. Zbl 1159.68403
Biere, Armin
40
2008
The first and second Max-SAT evaluations. Zbl 1159.68561
Argelich, Josep; Li, Chu-Min; Manyà, Felip; Planes, Jordi
12
2008
Solving weighted Max-SAT problems in a reduced search space: a performance analysis. Zbl 1159.68567
Pipatsrisawat, Knot; Palyan, Akop; Chavira, Mark; Choi, Arthur; Darwiche, Adnan
7
2008
2006 and 2007 Max-SAT evaluations: contributed instances. Zbl 1159.68565
Heras, Federico; Larrosa, Javier; de Givry, Simon; Schiex, Thomas
6
2008
Towards a classification of Hamiltonian cycles in the 6-cube. Zbl 1147.68703
Chebiryak, Yury; Kroening, Daniel
4
2008
Combining adaptive and dynamic local search for satisfiability. Zbl 1159.68566
Pham, Duc Nghia; Thornton, John; Gretton, Charles; Sattar, Abdul
3
2008
An extended semidefinite relaxation for satisfiability. Zbl 1169.90404
Anjos, Miguel F.
2
2008
SAT algorithms for colouring some special classes of graphs: some theoretical and experimental results. Zbl 1147.68700
Acharyya, Sriyankar
1
2008
Parallel SAT solving using bit-level operations. Zbl 1170.68594
Heule, Marijn J. H.; van Maaren, Hans
1
2008
Whose side are you on? Finding solutions in a biased search-tree. Zbl 1170.68595
Heule, Marijn J. H.; van Maaren, Hans
1
2008
tts: a SAT-solver for small, difficult instances. Zbl 1159.68569
Spence, Ivor
1
2008
Lazy satisfiability modulo theories. Zbl 1145.68501
Sebastiani, Roberto
38
2007
An abstract decision procedure for a theory of inductive data types. Zbl 1129.68022
Barrett, Clack; Shikanian, Igor; Tinelli, Cesare
8
2007
On solving Boolean combinations of UTVPI constraints. Zbl 1129.68079
Seshia, Sanjit A.; Subramani, K.; Bryant, Randal E.
5
2007
The complexity of some subclasses of minimal unsatisfiable formulas. Zbl 1137.68028
Kleine Büning, Hans; Zhao, Xishun
1
2007
Disequality management in integer difference logic via finite instantiations. Zbl 1129.68078
Kim, Hyondeuk; Jin, Hoonsang; Somenzi, Fabio
1
2007
It’s all about the support: a new perspective on the satisfiability problem. Zbl 1145.68531
Vilenchik, Dan
1
2007
Translating pseudo-Boolean constraints into SAT. Zbl 1116.68083
Eén, Niklas; Sörensson, Niklas
57
2006
Efficient solving of large non-linear arithmetic constraint systems with complex Boolean structure. Zbl 1144.68371
Fränzle, Martin; Herde, Christian; Teige, Tino; Ratschan, Stefan; Schubert, Tobias
35
2006
A translation of pseudo-Boolean constraints to SAT. Zbl 1116.68078
Bailleux, Olivier; Boufkhad, Yacine; Roussel, Olivier
10
2006
Pueblo: a hybrid pseudo-Boolean SAT solver. Zbl 1116.68090
Sheini, Hossein M.; Sakallah, Karem A.
9
2006
Report of the third QBF solvers evaluation. Zbl 1116.68089
Narizzano, Massimo; Pulina, Luca; Tacchella, Armando
7
2006
Semidefinite optimization approaches for satisfiability and maximum-satisfiability problems. Zbl 1194.90064
Anjos, Miguel F.
6
2006
Improved bound for the PPSZ/Schöning-algorithm for 3-SAT. Zbl 1148.68474
Rolf, Daniel
5
2006
The first evaluation of pseudo-Boolean solvers (PB’05). Zbl 1116.68088
Manquinho, Vasco M.; Roussel, Olivier
5
2006
Recording and minimizing nogoods from restarts. Zbl 1144.68373
Lecoutre, Christophe; Saïs, Lakhdar; Tabary, Sébastien; Vidal, Vincent
3
2006
Complexity results for quantified Boolean formulae based on complete propositional languages. Zbl 1116.68082
Coste-Marquis, Sylvie; Le Berre, Daniel; Letombe, Florian; Marquis, Pierre
2
2006
Hard satisfiable clause sets for benchmarking equivalence reasoning techniques. Zbl 1116.68084
Haanpää, Harri; Järvisalo, Matti; Kaski, Petteri; Niemelä, Ilkka
2
2006
March_dl: adding adaptive heuristics and a new branching strategy. Zbl 1116.68085
Heule, Marijn J. H.; van Maaren, Hans
2
2006
The SAT 2005 solver competition on random instances. Zbl 1116.68087
Kullmann, Oliver
2
2006
Decomposing SAT problems into connected components. Zbl 1116.68079
Biere, Armin; Sinz, Carsten
2
2006
Using SAT encodings to derive CSP value ordering heuristics. Zbl 1147.68714
Lecoutre, Christophe; Saïs, Lakhdar; Vion, Julien
1
2006
Extending existential quantification in conjuctions of BDDs. Zbl 1138.94401
Weaver, Sean; Franco, John; Schlipf, John
1
2006
A faster clause-shortening algorithm for SAT with no restriction on clause length. Zbl 1116.68115
Dantsin, Evgeny; Wolpert, Alexander
1
2006
Special issue: On the SAT 2005 competitions and evaluations. Zbl 1109.68317
Le Berre, Daniel; Simon, Laurent
1
2006
On using cutting planes in pseudo-Boolean optimization. Zbl 1177.90297
Manquinho, Vasco M.; Marques-Silva, João
1
2006
Locality and hard SAT-instances. Zbl 1113.68483
Markström, Klas
1
2006
Back to the SAT05 competition: an a posteriori analysis of solver performance on industrial benchmarks. Zbl 1113.68485
Zarpas, Emmanuel
1
2006
all top 5

Cited by 621 Authors

14 Marques-Silva, João P.
11 Biere, Armin
10 Sebastiani, Roberto
8 Ábrahám, Erika
8 Beyersdorff, Olaf
7 Ansótegui, Carlos
7 Janota, Mikoláš
7 Lonsing, Florian
6 Eggers, Andreas
6 Fränzle, Martin
6 Lynce, Inês
5 Becker, Bernd
5 Cimatti, Alessandro
5 Griggio, Alberto
5 Hoos, Holger H.
5 Kröning, Daniel
5 Rodríguez-Carbonell, Enric
5 Subramani, Krishnan
5 Szeider, Stefan
5 Teige, Tino
5 Weidenbach, Christoph
5 Wild, Marcel
5 Woltran, Stefan
4 Blinkhorn, Joshua
4 Bofill, Miquel
4 Bonacina, Maria Paola
4 Gebser, Martin
4 Heule, Marijn J. H.
4 Kremer, Gereon
4 Kupferschmid, Stefan
4 Nieuwenhuis, Robert
4 Oliveras, Albert
4 Planes, Jordi
4 Reynolds, Andrew
4 Schaub, Torsten H.
4 Seidl, Martina
4 Villaret, Mateu
3 Balyo, Tomáš
3 Brain, Martin
3 Bromberger, Martin
3 Bruttomesso, Roberto
3 Cai, Shaowei
3 Chew, Leroy
3 Codish, Michael
3 Corzilius, Florian
3 Egly, Uwe
3 Fernández, César C.
3 Gabàs, Joel
3 Gaspers, Serge
3 Ghilardi, Silvio
3 Hamadi, Youssef
3 Hinde, Luke
3 Impagliazzo, Russell
3 Ivrii, Alexander
3 Jabbour, Said
3 Janhunen, Tomi
3 Järvisalo, Matti
3 Kullmann, Oliver
3 Leyton-Brown, Kevin
3 Liffiton, Mark H.
3 Lindauer, Marius
3 Mahajan, Meena
3 Manquinho, Vasco M.
3 Manyà, Felip
3 Maratea, Marco
3 Martins, Ruben
3 Ranise, Silvio
3 Saïs, Lakhdar
3 Semenov, Aleksandr Anatol’evich
3 Sharygina, Natasha
3 Sinz, Carsten
3 Su, Kaile
3 Sun, Jiaguang
3 Tinelli, Cesare
3 Van Gelder, Allen
3 Zhou, Min
2 Adel’shin, A. V.
2 Alves Rocha, Thiago
2 Amendola, Giovanni
2 Anjos, Miguel F.
2 Argelich, Josep
2 Asín, Roberto
2 Balint, Adrian
2 Barrett, Clark W.
2 Bayless, Sam
2 Béjar, Ramón
2 Belov, Anton
2 Blanchette, Jasmin Christian
2 Bonet, Maria Luisa
2 Borralleras, Cristina
2 Calabro, Chris
2 Czarnecki, Krzysztof
2 Damm, Werner
2 Davenport, James Harold
2 de Givry, Simon
2 de Moura, Leonardo
2 Disch, Stefan
2 Dodaro, Carmine
2 England, Matthew
2 Fichte, Johannes Klaus
...and 521 more Authors
all top 5

Cited in 70 Journals

32 Artificial Intelligence
26 Constraints
19 Journal of Automated Reasoning
14 Formal Methods in System Design
11 Theoretical Computer Science
11 Annals of Mathematics and Artificial Intelligence
7 Prikladnaya Diskretnaya Matematika
6 Annals of Operations Research
5 Discrete Applied Mathematics
4 Journal of Symbolic Computation
3 Acta Informatica
3 Journal of Computer and System Sciences
3 Algorithmica
3 Mathematical Programming. Series A. Series B
3 Theory of Computing Systems
3 Theory and Practice of Logic Programming
3 Journal of Logical and Algebraic Methods in Programming
2 Studia Logica
2 Science of Computer Programming
2 Journal of Computer Science and Technology
2 International Journal of Parallel Programming
2 International Journal of Approximate Reasoning
2 Formal Aspects of Computing
2 4OR
2 ACM Journal of Experimental Algorithmics
2 Mathematics in Computer Science
2 Logical Methods in Computer Science
2 Algorithms
1 Discrete Mathematics
1 Problems of Information Transmission
1 Applied Mathematics and Computation
1 Fuzzy Sets and Systems
1 Information Sciences
1 Journal of Mathematical Psychology
1 SIAM Journal on Computing
1 Mathematical Social Sciences
1 Operations Research Letters
1 Order
1 Information and Computation
1 Computers & Operations Research
1 SIAM Journal on Discrete Mathematics
1 AI Communications
1 Real-Time Systems
1 Computational Geometry
1 MSCS. Mathematical Structures in Computer Science
1 Designs, Codes and Cryptography
1 European Journal of Operational Research
1 SIAM Journal on Optimization
1 Journal of Mathematical Imaging and Vision
1 Computational Complexity
1 Combinatorics, Probability and Computing
1 The Electronic Journal of Combinatorics
1 Journal of Heuristics
1 Journal of Combinatorial Optimization
1 Journal of Scheduling
1 Journal of Applied Mathematics and Decision Sciences
1 Journal of Graph Algorithms and Applications
1 The Journal of Logic and Algebraic Programming
1 Journal of Applied Mathematics
1 Journal of Machine Learning Research (JMLR)
1 JMMA. Journal of Mathematical Modelling and Algorithms
1 Quantum Information Processing
1 ACM Transactions on Computational Logic
1 Journal of Applied Logic
1 Discrete Optimization
1 Optimization Letters
1 Nonlinear Analysis. Hybrid Systems
1 Electronic Journal of Statistics
1 Mathematical Programming Computation
1 Diskretnyĭ Analiz i Issledovanie Operatsiĭ

Citations by Year