Year | DOI | Venue |
---|---|---|
2019 | 10.3233/SAT190115 | J. Satisf. Boolean Model. Comput. |
DocType | Volume | Issue |
Journal | 11 | 1 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ralf Wimmer | 1 | 407 | 34.28 |
Christoph Scholl | 2 | 346 | 32.07 |
B. Becker | 3 | 191 | 21.44 |