読み物

Last-modified: 2010-05-27 (木) 11:36:42 (5095d)

Top / 読み物

研究日誌とうめき

論文、文献など
- CHR
- その他

論文、文献など †

何をどれだけ読んだのか忘れそうなのでメモ
2010/4以降のもの、元気があれば過去のものもまとめるかも

CHR †

年	進度	文献	メモ
2009	ing	CHR Book
2010	ing	As Time Goes By : Constraint Handling Rules.pdf	surbey
2006	2,3	Dijkstra's algorithm with Fibonacci.pdf	dijkstra
2005	2,4	Analysing the CHR implementation of union find.pdf	uf
2006		Deriving Quasi-Linear-Time Algorithms from Union-Find in CHR.pdf	uf
2006		Optimal union-find in Constraint Handling Rules.pdf	uf
2005		Logical rules for a lexicographic order constraint solver.pdf	lex
2006	3	Complete propagation rules for lexicographic order constraints.pdf	lex
2003		Extending Arbitrary Solvers with Constraint Handling Rules.pdf
2005		The Computational Power and Complexity of Constraint Handling Rules.pdf	TMやRAM
2006	2	Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees.pdf	tree
1995		High-level implementations of constraint handling rules.pdf
2007	all	A Concurrent CHR Implementation in Haskell with STM.pdf
?		Indexing techniques for CHR based on program transformation.pdf

その他 †

年	進度	文献	メモ
		Fibonacci Heaps and Their Uses in Improved Network Optimization Algorithms
		Programing by Multiset Transformation
		Floyd-Warshall All-Pairs Shortest Pairs Algorithm
		6.4 Warshall's Transitive Closure Algorithm	FW法の最適化
		単一始点最短路, 全点対間最短路
		NESL : A Nested Data-Parallel Language	マニュアル

添付ファイル:

Optimal union-find in Constraint Handling Rules.pdf 739件 [詳細]

Indexing techniques for CHR based on program transformation.pdf 2888件 [詳細]

A Concurrent CHR Implementation in Haskell with STM.pdf 727件 [詳細]

Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees.pdf 598件 [詳細]

High-level implementations of constraint handling rules.pdf 588件 [詳細]

Logical rules for a lexicographic order constraint solver.pdf 649件 [詳細]

Deriving Quasi-Linear-Time Algorithms from Union-Find in CHR.pdf 965件 [詳細]

The Computational Power and Complexity of Constraint Handling Rules.pdf 529件 [詳細]

Extending Arbitrary Solvers with Constraint Handling Rules.pdf 871件 [詳細]

Complete propagation rules for lexicographic order constraints.pdf 539件 [詳細]

As Time Goes By : Constraint Handling Rules.pdf 1418件 [詳細]

Analysing the CHR implementation of union find.pdf 513件 [詳細]

Dijkstra's algorithm with Fibonacci.pdf 476件 [詳細]