פרסומים מחקריים בשנה
פרסומים מחקריים בשנה
- 1 - 50 מתוך 54 תוצאות
תוצאות חיפוש
-
2024
Proving Unsatisfiability with Hitting Formulas
Filmus, Y., Hirsch, E. A., Riazanov, A., Smal, A. & Vinyals, M., ינו׳ 2024, 15th Innovations in Theoretical Computer Science Conference, ITCS 2024. Guruswami, V. (עורך). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 48. (Leibniz International Proceedings in Informatics, LIPIcs; כרך 287).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
1 ציטוט (Scopus) -
SEMIALGEBRAIC PROOFS, IPS LOWER BOUNDS, AND THE \bfittau-CONJECTURE: CAN A NATURAL NUMBER BE NEGATIVE?
Alekseev, Y., Grigoriev, D., Hirsch, E. A. & Tzameret, I., 2024, ב-: SIAM Journal on Computing. 53, 3, עמוד 648-700 53 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
-
2023
Improving 3 N Circuit Complexity Lower Bounds
Find, M. G., Golovnev, A., Hirsch, E. A. & Kulikov, A. S., דצמ׳ 2023, ב-: Computational Complexity. 32, 2, 13.פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
-
Irreducible Subcube Partitions
Filmus, Y., Hirsch, E. A., Kurz, S., Ihringer, F., Riazanov, A., Smal, A. V. & Vinyals, M., 2023, ב-: Electronic Journal of Combinatorics. 30, 3, P3.29.פרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
גישה חופשית2 ציטוטים (Scopus) -
The Power of the Binary Value Principle
Alekseev, Y. & Hirsch, E. A., 2023, Algorithms and Complexity - 13th International Conference, CIAC 2023, Proceedings. Mavronicolas, M. (עורך). Springer Science and Business Media Deutschland GmbH, עמוד 21-36 16 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 13898 LNCS).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
גישה חופשית -
2021
Worst-case upper bounds: Worst-case upper bounds
Dantsin, E. & Hirsch, E. A., 5 מאי 2021, Handbook of Satisfiability: Second Edition. Part 1/Part 2. Biere, A., Heule, M., Van Maaren, H. & Walsh, T. (עורכים). IOS Press BV, עמוד 669-692 24 עמוד (Frontiers in Artificial Intelligence and Applications; כרך 336).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרק › ביקורת עמיתים
2 ציטוטים (Scopus) -
2020
Semi-algebraic proofs, IPS lower bounds, and the τ-conjecture: Can a natural number be negative?
Alekseev, Y., Grigoriev, D., Hirsch, E. A. & Tzameret, I., 8 יוני 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (עורכים). עמוד 54-67 14 עמוד (Proceedings of the Annual ACM Symposium on Theory of Computing).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
9 ציטוטים (Scopus) -
2018
On the limits of gate elimination
Golovnev, A., Hirsch, E. A., Knop, A. & Kulikov, A. S., ספט׳ 2018, ב-: Journal of Computer and System Sciences. 96, עמוד 107-119 13 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
גישה חופשית4 ציטוטים (Scopus) -
2017
Preface
Bulatov, A. A., Hirsch, E. A. & Pin, J. É., 1 אוג׳ 2017, ב-: Theory of Computing Systems. 61, 2, עמוד 261-262 2 עמודפרסום מחקרי: פרסום בכתב עת › מאמר מערכת
גישה חופשית -
2016
A Better-Than-3n Lower Bound for the Circuit Complexity of an Explicit Function
Find, M. G., Golovnev, A., Hirsch, E. A. & Kulikov, A. S., 14 דצמ׳ 2016, Proceedings - 57th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2016. IEEE Computer Society, עמוד 89-98 10 עמוד 7782921. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; כרך 2016-December).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
41 ציטוטים (Scopus) -
On the limits of gate elimination
Golovnev, A., Hirsch, E. A., Knop, A. & Kulikov, A. S., 1 אוג׳ 2016, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016. Muscholl, A., Faliszewski, P. & Niedermeier, R. (עורכים). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 46. (Leibniz International Proceedings in Informatics, LIPIcs; כרך 58).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
3 ציטוטים (Scopus) -
2015
On the probabilistic closure of the loose unambiguous hierarchy
Hirsch, E. A. & Sokolov, D., 1 ספט׳ 2015, ב-: Information Processing Letters. 115, 9, עמוד 725-730 6 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
-
Preface
Karhumäki, J. & Hirsch, E. A., 1 מאי 2015, ב-: Theory of Computing Systems. 56, 4, עמוד 591-592 2 עמודפרסום מחקרי: פרסום בכתב עת › מאמר מערכת
גישה חופשית -
2014
Preface
Hirsch, E. A., Kuznetsov, S. O., Pin, J. ́. & Vereshchagin, N. K., 2014, ב-: Lecture Notes in Computer Science. 8476 LNCS, עמוד V-VIפרסום מחקרי: פרסום בכתב עת › מאמר מערכת
-
2013
Feebly secure cryptographic primitives
Hirsch, E. A., Melanich, O. & Nikolenko, S. I., ינו׳ 2013, ב-: Journal of Mathematical Sciences. 188, 1, עמוד 17-34 18 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
גישה חופשית -
Optimal heuristic algorithms for the image of an injective function
Hirsch, E. A., Itsykson, D. M., Nikolaenko, V. O. & Smal, A. V., ינו׳ 2013, ב-: Journal of Mathematical Sciences. 188, 1, עמוד 7-16 10 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
1 ציטוט (Scopus) -
2012
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Hirsch, E., Karhumäki, J., Lepistö, A. & Prilutskii, M., 2012, ב-: Lecture Notes in Computer Science. 7353 LNCS, עמוד V-VIפרסום מחקרי: פרסום בכתב עת › מאמר מערכת
-
On an optimal randomized acceptor for graph nonisomorphism
Hirsch, E. A. & Itsykson, D., 28 פבר׳ 2012, ב-: Information Processing Letters. 112, 5, עמוד 166-171 6 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
-
On Optimal Heuristic Randomized Semidecision Procedures, with Applications to Proof Complexity and Cryptography
Hirsch, E. A., Itsykson, D., Monakhov, I. & Smal, A., אוג׳ 2012, ב-: Theory of Computing Systems. 51, 2, עמוד 179-195 17 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
3 ציטוטים (Scopus) -
2011
Satisfiability certificates verifiable in subexponential time
Dantsin, E. & Hirsch, E. A., 2011, Theory and Application of Satisfiability Testing - 14th International Conference, SAT 2011, Proceedings. עמוד 19-32 14 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 6695 LNCS).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
2 ציטוטים (Scopus) -
2010
An infinitely-often one-way function based on an average-case assumption
Hirsch, E. A. & Itsykson, D. M., 2010, ב-: St. Petersburg Mathematical Journal. 21, 3, עמוד 459-468 10 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
גישה חופשית1 ציטוט (Scopus) -
On optimal heuristic randomized semidecision procedures, with application to proof complexity
Hirsch, E. A. & Itsykson, D., 2010, STACS 2010 - 27th International Symposium on Theoretical Aspects of Computer Science. עמוד 453-464 12 עמוד (Leibniz International Proceedings in Informatics, LIPIcs; כרך 5).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
9 ציטוטים (Scopus) -
Optimal acceptors and optimal proof systems
Hirsch, E. A., 2010, Theory and Applications of Models of Computation - 7th Annual Conference, TAMC 2010, Proceedings. עמוד 28-39 12 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 6108 LNCS).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
9 ציטוטים (Scopus) -
2009
A complete public-key cryptosystem
Grigoriev, D., Hirsch, E. A. & Pervyshev, K., אפר׳ 2009, ב-: Groups, Complexity, Cryptology. 1, 1, עמוד 1-12 12 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
גישה חופשית11 ציטוטים (Scopus) -
A feebly secure trapdoor function
Hirsch, E. A. & Nikolenko, S. I., 2009, Computer Science - Theory and Applications - 4th International Computer Science Symposium in Russia, CSR 2009, Proceedings. עמוד 129-142 14 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 5675 LNCS).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
גישה חופשית5 ציטוטים (Scopus) -
Time hierarchies for cryptographic function inversion with advice
Grigoriev, D. Y., Hirsch, E. A. & Pervyshev, K. V., מאי 2009, ב-: Journal of Mathematical Sciences. 158, 5, עמוד 633-644 12 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
-
Worst-case upper bounds
Dantsin, E. & Hirsch, E. A., 2009, Handbook of Satisfiability. 1 מהדורה IOS Press, עמוד 403-424 22 עמוד (Frontiers in Artificial Intelligence and Applications; כרך 185, מס' 1).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרק › ביקורת עמיתים
29 ציטוטים (Scopus) -
2008
An infinitely-often one-way function based on an average-case assumption
Hirsch, E. A. & Itsykson, D. M., 2008, Logic, Language, Information and Computation - 15th International Workshop, WoLLIC 2008, Proceedings. עמוד 208-217 10 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 5110 LNAI).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Hirsch, E. A., Razborov, A., Semenov, A. & Slissenko, A., 2008, ב-: Lecture Notes in Computer Science. 5010 LNCS, עמוד v-viפרסום מחקרי: פרסום בכתב עת › מאמר מערכת
-
2006
Clause shortening combined with pruning yields a new upper bound for deterministic SAT algorithms
Dantsin, E., Hirsch, E. A. & Wolpert, A., 2006, Algorithms and Complexity - 6th Italian Conference, CIAC 2006, Proceedings. עמוד 60-68 9 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 3998 LNCS).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
12 ציטוטים (Scopus) -
Lecture Notes in Computer Sicence (Including Subseries - Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Grigoriev, D., Harrison, J. R. & Hirsch, E. A., 2006, ב-: Lecture Notes in Computer Science. 3967 LNCS, עמוד vפרסום מחקרי: פרסום בכתב עת › מאמר מערכת
-
Several notes on the power of Gomory-Chvátal cuts
Hirsch, E. A. & Kojevnikov, A., ספט׳ 2006, ב-: Annals of Pure and Applied Logic. 141, 3, עמוד 429-436 8 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
גישה חופשית3 ציטוטים (Scopus) -
2005
Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas
Alekhnovich, M., Hirsch, E. A. & Itsykson, D., אוק׳ 2005, ב-: Journal of Automated Reasoning. 35, 1-3, עמוד 51-72 22 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
54 ציטוטים (Scopus) -
Simulating Cutting Plane proofs with restricted degree of falsity by resolution
Hirsch, E. A. & Nikolenko, S. I., 2005, ב-: Lecture Notes in Computer Science. 3569, עמוד 135-142 8 עמודפרסום מחקרי: פרסום בכתב עת › מאמר מכנס › ביקורת עמיתים
5 ציטוטים (Scopus) -
The SAT2002 competition
Simon, L., Le Berre, D. & Hirsch, E. A., ינו׳ 2005, ב-: Annals of Mathematics and Artificial Intelligence. 43, 1-4, עמוד 307-342 36 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
30 ציטוטים (Scopus) -
UnitWalk: A new SAT solver that uses local search guided by unit clause elimination
Hirsch, E. A. & Kojevnikov, A., ינו׳ 2005, ב-: Annals of Mathematics and Artificial Intelligence. 43, 1-4, עמוד 91-111 21 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
51 ציטוטים (Scopus) -
2004
Algorithms for SAT based on search in hamming balls
Dantsin, E., Hirsch, E. A. & Wolpert, A., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Diekert, V. & Habib, M. (עורכים). עמוד 141-151 11 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 2996).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרק › ביקורת עמיתים
21 ציטוטים (Scopus) -
Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas
Alekhnovich, M., Hirsch, E. A. & Itsykson, D., 2004, ב-: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). עמוד 84-96 13 עמודפרסום מחקרי: פרסום בכתב עת › מאמר מכנס › ביקורת עמיתים
4 ציטוטים (Scopus) -
2003
Algebraic proof systems over formulas
Grigoriev, D. & Hirsch, E. A., 28 יוני 2003, ב-: Theoretical Computer Science. 303, 1, עמוד 83-102 20 עמודפרסום מחקרי: פרסום בכתב עת › מאמר מכנס › ביקורת עמיתים
גישה חופשית28 ציטוטים (Scopus) -
Worst-case study of local search for MAX-k-SAT
Hirsch, E. A., 15 אוג׳ 2003, ב-: Discrete Applied Mathematics. 130, 2, עמוד 173-184 12 עמודפרסום מחקרי: פרסום בכתב עת › מאמר מכנס › ביקורת עמיתים
גישה חופשית17 ציטוטים (Scopus) -
Worst-case upper bounds for MAX-2-SAT with an application to MAX-CUT
Gramm, J., Hirsch, E. A., Niedermeier, R. & Rossmanith, P., 15 אוג׳ 2003, ב-: Discrete Applied Mathematics. 130, 2, עמוד 139-155 17 עמודפרסום מחקרי: פרסום בכתב עת › מאמר מכנס › ביקורת עמיתים
גישה חופשית55 ציטוטים (Scopus) -
2002
A deterministic (2 - 2/(k + 1))n algorithm for k-SAT based on local search
Dantsin, E., Goerdt, A., Hirsch, E. A., Kannan, R., Kleinberg, J., Papadimitriou, C., Raghavan, P. & Schöning, U., 23 אוק׳ 2002, ב-: Theoretical Computer Science. 289, 1, עמוד 69-83 15 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
גישה חופשית137 ציטוטים (Scopus) -
Complexity of semi-algebraic proofs
Grigoriev, D., Hirsch, E. A. & Pasechnik, D. V., 2002, STACS 2002 - 19th Annual Symposium on Theoretical Aspects of Computer Science, Proceedings. Alt, H. & Ferreira, A. (עורכים). עמוד 419-430 12 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 2285).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
38 ציטוטים (Scopus) -
Exponential lower bound for static semi-algebraic proofs
Grigoriev, D., Hirsch, E. A. & Pasechnik, D. V., 2002, Automata, Languages and Programming - 29th International Colloquium, ICALP 2002, Proceedings. Widmayer, P., Eidenbenz, S., Triguero, F., Morales, R., Conejo, R. & Hennessy, M. (עורכים). עמוד 257-268 12 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 2380 LNCS).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
11 ציטוטים (Scopus) -
2001
MAX SAT approximation beyond the limits of polynomial-time approximation
Dantsin, E., Gavrilovich, M., Hirsch, E. A. & Konev, B., 27 דצמ׳ 2001, ב-: Annals of Pure and Applied Logic. 113, 1-3, עמוד 81-94 14 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
גישה חופשית22 ציטוטים (Scopus) -
Solving Boolean satisfiability using local search guided by unit clause elimination
Hirsch, E. A. & Kojevnikov, A., 2001, Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings. Walsh, T. (עורך). עמוד 605-609 5 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 2239).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
9 ציטוטים (Scopus) -
2000
A new algorithm for MAX-2-SAT
Hirsch, E. A., 2000, STACS 2000 - 17th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2000, Proceedings. Reichel, H. & Tison, S. (עורכים). עמוד 65-73 9 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 1770).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
28 ציטוטים (Scopus) -
Deterministic algorithms for k-SAT based on covering codes and local search
Dantsin, E., Goerdt, A., Hirsch, E. A. & Schöning, U., 2000, Automata, Languages and Programming - 27th International Colloquium, ICALP 2000, Proceedings. Montanari, U., Rolim, J. D. P. & Welzl, E. (עורכים). עמוד 236-247 12 עמוד (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); כרך 1853).פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים
24 ציטוטים (Scopus) -
New worst-case upper bounds for SAT
Hirsch, E. A., 2000, ב-: Journal of Automated Reasoning. 24, 4, עמוד 397-420 24 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
69 ציטוטים (Scopus) -
SAT local search algorithms: worst-case study
Hirsch, E. A., 2000, ב-: Journal of Automated Reasoning. 24, 1-2, עמוד 127-143 17 עמודפרסום מחקרי: פרסום בכתב עת › מאמר › ביקורת עמיתים
20 ציטוטים (Scopus)