Research output per year
Research output per year
Search results
-
2023
Proving Unsatisfiability with Hitting Formulas
Filmus, Y., Hirsch, E. A., Riazanov, A., Smal, A. & Vinyals, M., 2023Research output: Book/Report › Report
-
2019
Residential buildings industrialization using 3D modular units: Architectural, engineering and construction aspects
Grobman, Y. J., Rozenfeld, Y., Becker, R., Raviv, G., Chen, N., Leviathan, I., Maayan, A. & Trajtenberg-Mills, S., Sep 2019Research output: Book/Report › Report › peer-review
-
2018
Understanding and enhancing the experience of nature of visitors in “Ramat Hanadiv”
Colléony, A., Bashan, D., Levontin, L. & Shwartz, A., 2018, 53 p.Research output: Book/Report › Report
-
2017
Second Language Learning from a Multilingual Perspective
Berzak, Y., 2017Research output: Book/Report › Report › peer-review
-
2011
Optimal heuristic algorithms for the image of an injective function
Hirsch, E. A., Itsykson, D., Nikolaenko, V. & Smal, A., 2011Research output: Book/Report › Report
-
2010
On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography
Hirsch, E. A., Itsykson, D., Monakhov, I. & Smal, A., 2010Research output: Book/Report › Report
-
1989
Cooperative behavior in structurally distinct public goods problems: effects of sequentially acquired information
Erev, I., 1989Research output: Book/Report › Report › peer-review