首页期刊浏览 2024年11月25日星期一

登录注册

全文

有本地全文

16篇

出版年度

	2019	2篇
	2016	1篇
	2015	1篇
	2014	1篇
	2003	2篇

	2001	5篇
	2000	1篇
	1999	1篇
	1997	1篇
	1951	1篇

作者

	Edward Hirsch	12篇
	Dima Grigoriev	3篇
	Alexander Golovnev	2篇
	Alexander Kulikov	2篇
	Brig. Gen. Edward Hirsch	2篇

	Evgeny Dantsin	2篇
	Iddo Tzameret	2篇
	Yaroslav Alekseev	2篇
	Alexander Knop	1篇
	Alexander Wolpert	1篇
	Arist Kojevnikov	1篇
	Dima Grigoriev, Edward Hirsch	1篇
	Dmitrii V. Pasechnik	1篇
	Dmitry Sokolov	1篇
	Levi, Edward Hirsch	1篇
	Magnus Gausdal Find	1篇
	Maxim Vsemirnov Algorithms for SAT	1篇
	Sergei Ivanov	1篇
	Upper Bounds on Their Complexity	1篇

来源期刊

	Electronic Colloquium on Computational Complexity	12篇
	Program Manager	2篇
	The American Poetry Review	1篇
	The University of Chicago Law School Record	1篇

学科主题

	计算技术、计算机技术	12篇
	军事	2篇
	自动化技术、计算机技术	2篇
	文学	1篇
	法律	1篇

语种

英文

16篇

国别/地区

	德国	12篇
	美国	4篇

检索条件:"( ( 高级检索(( ((AU:(("Edward Hirsch")))) )) ) )"

共 16 条记录

排序：全选导出：

1.After the end of the world

作　　者：Edward Hirsch

出　　处：The American Poetry Review. 1997 ;Mar/Apr 1997.

出版社：World Poetry, Inc.

文章 ID：41405251

文章详细全文下载
2.On the probabilistic closure of the loose unambiguous hierarchy

作　　者：Edward Hirsch ;Dmitry Sokolov

出　　处：Electronic Colloquium on Computational Complexity. 2014 ;2014.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：90814539

文章详细全文下载
3.Several notes on the power of Gomory-Chvatal cuts

作　　者：Edward Hirsch ;Arist Kojevnikov

出　　处：Electronic Colloquium on Computational Complexity. 2003 ;2003.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：47146827

文章详细全文下载
4.Algorithms for SAT based on search in Hamming balls

作　　者：Evgeny Dantsin ;Edward Hirsch ;Alexander Wolpert

出　　处：Electronic Colloquium on Computational Complexity. 2003 ;2003.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：47146887

文章详细全文下载
5.Algebraic proof systems over formulas

作　　者：Dima Grigoriev, Edward Hirsch

出　　处：Electronic Colloquium on Computational Complexity. 2001 ;2001.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：47146987

文章详细全文下载
6.Algorithms for SAT and Upper Bounds on Their Complexity

作　　者：Evgeny Dantsin ;Edward Hirsch ;Sergei Ivanov 等

出　　处：Electronic Colloquium on Computational Complexity. 2001 ;2001.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：47146988

文章详细全文下载
7.Complexity of semi-algebraic proofs

作　　者：Dima Grigoriev ;Edward Hirsch ;Dmitrii V. Pasechnik

出　　处：Electronic Colloquium on Computational Complexity. 2001 ;2001.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：47147079

文章详细全文下载
8.Worst-case time bounds for MAX-k-SAT w.r.t. the number of variables using local search

作　　者：Edward Hirsch

出　　处：Electronic Colloquium on Computational Complexity. 2000 ;2000.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：47840857

文章详细全文下载
9.A New Algorithm for MAX-2-SAT

作　　者：Edward Hirsch

出　　处：Electronic Colloquium on Computational Complexity. 1999 ;1999.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：49468955

文章详细全文下载
10.To the Alumni

作　　者：Levi, Edward Hirsch

出　　处：The University of Chicago Law School Record. 1951 ;1(1):1.

出版社：University of Chicago Law School

文章 ID：94802568

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：cassoa@cass.org.cn

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有