Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
6533 Publications
2018 |
Published |
Journal Article |
IST-REx-ID: 6032 |
Even delta-matroids and the complexity of planar boolean CSPs
A. Kazda, V. Kolmogorov, M. Rolinek, ACM Transactions on Algorithms 15 (2018).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Kazda, V. Kolmogorov, M. Rolinek, ACM Transactions on Algorithms 15 (2018).
2018 |
Published |
Journal Article |
IST-REx-ID: 606 |
Well-posedness for mean-field evolutions arising in superconductivity
M. Duerinckx, J.L. Fischer, Annales de l’Institut Henri Poincare (C) Non Linear Analysis 35 (2018) 1267–1319.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
M. Duerinckx, J.L. Fischer, Annales de l’Institut Henri Poincare (C) Non Linear Analysis 35 (2018) 1267–1319.
2018 |
Published |
Journal Article |
IST-REx-ID: 607 |
Well posedness and maximum entropy approximation for the dynamics of quantitative traits
K. Bodova, J. Haskovec, P. Markowich, Physica D: Nonlinear Phenomena 376–377 (2018) 108–120.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| arXiv
K. Bodova, J. Haskovec, P. Markowich, Physica D: Nonlinear Phenomena 376–377 (2018) 108–120.
2018 |
Published |
Journal Article |
IST-REx-ID: 608 |
Synthesis from component libraries with costs
G. Avni, O. Kupferman, Theoretical Computer Science 712 (2018) 50–72.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
G. Avni, O. Kupferman, Theoretical Computer Science 712 (2018) 50–72.
2018 |
Published |
Book Chapter |
IST-REx-ID: 61 |
There is no strongly regular graph with parameters (460; 153; 32; 60)
A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska, in:, Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska, in:, Contemporary Computational Mathematics, Springer, 2018, pp. 131–134.