updated on Aug.8, 2000 and Oct. 12, 2008


[以下は、CSP(constraint satisfaction problems)に関する文献リストです。(May 29, 1997 現在)(西原清一)]

・解説記事「制約充足問題の基礎と展望」 西原清一(人工知能学会誌,12巻3号(1997) 特集「制約充足問題の基礎と応用」)への補足追加文献リストです。

.......................................................................................
[お願い]

追加文献がありましたら、nishihara@cs.tsukuba.ac.jpまでお知らせ下さい。速やかに追加します:

[お願い]

CSP研究者の交流のため、メイルリストの整備を計画しています。また、CSP関連の情報やWWWサイトをお教え下さい。この欄で紹介していきたいと思います。ご連絡はnishihara@cs.tsukuba.ac.jpまでお願いします。

[お詫び]

標記の解説記事中、引用しているにもかかわらず、末尾の参考文献に掲載するのを忘れてしまった論文がありました。失礼しました。以下のリストには収録してありますので、ご参照をお願いします。

------ CSP文献リスト -----

1) Aa?:
Principles and Practice of Constraint Programming, 2nd International Workshop, Rosario, Wa., May 1994, Springer, pp. (Nov. 1994).
2) Aa?:
Principles and Practice of Constraint Programming, 3rd International Workshop, (V.Saraswat, P.Hentenryck, eds.), MIT Pr., pp. (May 1995).
3) Aa?:
Principles and Practice of Constraint Programming, CP'95, 1st International Conf., (F.Rossi, U.Montanari, eds.), Cassis, France, Sept. 1995, Springer, pp. (Jan. 1996).
4) Aa?:
Principles and Practice of Constraint Programming, CP'96, 2nd International Conf., (E.C.Freuder, ed.), Cambridge, Ma., Aug. 1996, pp. (1996).
5) Ackley,D.H., Hinton,G.E., Sejnowski,T.J.:
A learning algorithm for Boltzmann machines, Cognitive Science, 9, pp.147-169 (1985).
6) Adorf,H.-M., Johnston,M.D.:
A discrete stochastic neural network algorithm for constraint satisfaction problems, IJCNN'90, , pp.III-917-924 (1990).
7) 相場亮:
制約論理プログラミング, bit, 20,1, pp.89-97 (1988).
8) 相場亮:
制約論理プログラミング入門, 第5回人工知能学会大会,チュートリアル「問題解決における制約知識の利用」, Track B-3, pp.39-51 (1991).
9) 相場 亮,古川康一:
制約プログラミングについて − 制約ロジックプログラミングを中心として −, 人工知能学会誌, 6,1, pp.47-59 (1991).
10) Allen,J.F.:
An interval-based representation of temporal knowledge, IJCAI, 7th, pp.221-226 (1981).
11) 雨宮真人,柳生孝昭:
「淵一博氏のロジックプログラミング」へのコメント, 人工知能学会誌, 9,3, pp.373-380 (1994).
12) 安藤英俊:
制約に基づく形状処理, グラフィクスとCADシンポジウム,情処学会, , pp.181-188 (1989).
13) 青木武司,泉寛幸:
通信ネットワークのコスト最適設計, 人工知能学会大会, 第5回,12-9, pp.517-520 (1991).
14) Ausiello,G., Italiano,G.F.:
On-line algorithms for polynomially solvable satisfiability problems, J. Logic Programming, 10,1, pp.69-90 (1991).
15) Ben-Eliyahu,R.:
Default logic, propositional logic and constraints, AAAI '91, , pp. (1991).
16) Berlandier,P.:
A performance evaluation of backtrack-bounded search methods for N-ary constraint networks, ISMIS'93, Lecture Notes in AI, 689, Springer, pp.375-384 (1993).
17) Berlandier,P.:
The use and interpretation of meta level constraints@, EPIA'93(6th Portuguese Conf. on AI), Poto, Portugal, Lecture Notes in AI(Filgueiras,M., Damas,L.(ed)), 727, Springer, pp.271-280 (1993).
18) Bertele,U., Brioschi,F.:
Nonserial Dynamic Programming, Academic Press, N.Y., , pp.235 (1972).
19) Berthod,M.:
Definition of a consistent labeling as a global extremum, ICPR (Internat'l Conf. Pattern Recog.), 6th, pp.399-401 (1982).
20) Berthod,M., Faugeras,O.:
Using context in the global recognition of a set of objects: an optimization approach, IFIP 80, Tokyo, pp.695-698 (1980).
21) Bessiere,C.:
Arc-consistency in dynamic constraint satisfaction problems, AAAI '91, , pp.221-226 (1991).
22) Bessiere,C.:
Arc-consistency and arc-consistency again, Artificial Intelligence, 65, pp.179-190 (1995).
23) Bessiere,C., Cordier,M.-O.:
Arc-consistency and arc-consistency again, AAAI '93, , pp.108-113 (1993).
24) Bibel,W.:
Constraint satisfaction from a deductive viewpoint, Artificial Intelligence, 35, pp.401-413 (1988).
25) Borning,A., Duisberg,R., Freeman-Benson,B., Kramer,A., Woolf,M.:
Constraint hierarchies, OOPSLA '87 Proceedings, , pp.48-60 (1987).
26) Bowen,J., Bahler,D.:
Conditional existence of variables in generalized constraint networks, AAAI '91, , pp.215-220 (1991).
27) Brooks,R.A.:
Symbolic reasoning among 3-D models and 2-D images, Artificial Intelligence, 17, pp.285-348 (1981).
28) Brown Jr., A.L.:
A logical reconstruction of constraint relaxation hierarchies in logic programming, ISMIS'93, Lecture Notes in AI 689 (ed.J.Komorowski, Z.W.Ras), Springer, pp.362-374 (1993).
29) Burke,E.K., Elliman,D.G., Weare,R.:
A university timetabling system based on graph colouring and constraint maipulation, Jour. of Research on Computing in Education, 27,1, pp.1-18 (1994).
30) Bylander,T.:
A probabilistic analysis of propositional ATRIPS planning, Artificial Intelligence, 81, pp.241-271 (1996).
31) Cheeseman,P., Kanefsky,B., Taylor,W.M.:
Where the really hard problems are, IJCAI '91, Sydney, pp.331-337 (1991).
32) Clearwater,S.H., Hogg,T.:
Problem structure heuristics and scaling behavior for genetic algorithms, Artificial Intelligence, 81, pp.327-347 (1996).
33) Clowes,M.B.:
On seeing things, Artificial Intelligence, 2,1, pp.79-116 (1971).
34) Cohen,J.:
Constraint logic programming languages, C.ACM, 33,7, pp.52-68 (1990).
35) Collin,Z., Dechter,R., Katz,S.:
On the feasibility of distributed constraint satisfaction, IJCAI '91, Sydney, pp.318-324 (1991).
36) Colmerauer,A.:
An introduction to Prolog III, C.ACM, 33,7, pp.69-90 (1990).
37) Conry,S.E., Kuwabara,K., Lesser,V.R., Meyer,R.A.:
Multistagenegotiation for distributed constraint satisfaction, IEEE Trans. Syst., Man and Cyber., 21,6, pp.1462-1477 (1991).
38) Cooper,M.C.:
An optimal k-consistency algorithm, Artificial Intelligence, 41, pp.89-95 (1989-1990).
39) Cooper,M.C., Cohen,D.A., Jeavons,P.G.:
Charcterising tractable constraints, Artificial Intelligence, 65, pp.347-361 (1994).
40) Cooper,P.R., Swain,M.J.:
Domain dependence in parallel constraint satisfaction, IJCAI '89, Detroit, pp.54-59 (1989).
41) Cooper,P.R., Swain,M.J.:
Arc consistency: parallelism and domain dependence, Artificial Intelligence, 58, pp.207-235 (1992).
42) Cooper,T.B., Kingston,J.H.:
The solution of real instances of the timetabling prblem, The Comput. Jour., 36,7, pp.645-653 (1993).
43) Crawford,J.M., Auton,L.D.:
Experimental results on the crossover point in random 3-SAT, Artificial Intelligence, 81, pp.31-57 (1996).
44) Croker,A.E., Dhar,V.:
A knowledge representation for constraint satisfaction problems, IEEE Tr. Knowledge & Data Eng., 5,5, pp.740-752 (1993).
45) Dalal,M.:
Efficient propositional constraint propagation, AAAI '92, , pp.409-414 (1992).
46) Davis,E.:
Constraint propagation with interval labels, Artificial Intelligence, 32, pp.281-331 (1987).
47) Dechter,A.,Dechter,R.:
Removing Redundancied in Constraint Networks, AAAI-87, 1987, pp.105-109 (1987).
48) Dechter,A., Dechter,R.:
Removing redundancies in constraint networks, AAAI-87, Seattle,WA, pp. (1987).
49) Dechter,R.:
Learning while searching in constraint-satisfaction-problems, Proc. AAAI '86, Philadelphia, , pp.178-183 (1986).
50) Dechter,R.:
Enhancement schemes for constraint processing: backjumping, learning, and cutset decomposition, Artificial Intelligence, 41, pp.273-312 (1990).
51) Dechter,R.,Dechter,A.:
Belief Maintenance in Dynamic Constraint Networks, AAAI-88, , pp.37-42 (1988).
52) Dechter,R., Meiri,I.:
Experimental evaluation of preprocessing techniques in constraint satisfaction problems, IJCAI '89, Detroit, pp.271-277 (1989).
53) Dechter, R., Pearl, J.:
The anatomy of easy problem: a constraint-satisfaction formulation, Proc. IJCAI '85, 9th, Los Angels, , pp.1066-1072 (1985).
54) Dechter, R., Pearl,J.:
A problem simplification approach that generates heuristics for contraint satisfaction problem, UCLA-Eng-Rep. 8497, also in Machine Intelligence 11, J.E.Hayes, D.Michie and J.Richards(Eds.), Clarendon Press, Oxford, 1987, , pp. (1987).
55) Dechter,R., Pearl,J.:
A tree-clustering scheme for CSPs, Tech. Rept. R-92, Cognitive Systems Lab., University of California at Los Angels, , pp. (1987).
56) Dechter,R., Pearl,J.:
The cycle-cutset method for improving search performance in AI applications, Proc. 3rd IEEE Conference on AI Applications, Orlando, FL, , pp.224-230 (1987).
57) Dechter,R., Pearl,J.:
Network-based heuristics for constraint-satisfaction problems, Artificial Intelligence , 34,1, pp.1-38 (1988).
58) Dechter,R., Pearl,J.:
Tree-Clustering Schemes for Constraint-processing, AAAI-88, , pp.150-154 (1988).
59) Dechter,R., Pearl,J.:
Directed constraint networks: a relational framework for causal modeling, IJCAI '91, , pp.1164 (1991).
60) Dechter,R., Pearl,J.:
Structure identification in relational data, Artificial Intelligence, 58, pp.237-270 (1992).
61) De Kleer,J.:
A general labeling algorithm for assumption-based truth maintenance, AAAI '88, , pp.188-192 (1988).
62) De Kleer,J.:
A comparison of ATMS and CSP techniques, IJCAI '89, Detroit, pp. (1989).
63) De Kleer,J.:
A perspective on assumption-based truth maintenance, Artificial Intelligence, 59, pp.63-67 (1993).
64) Deville,Y., Van Hentenryck,P.:
An efficient arc consistency algorithm for a class of CSP problems, IJCAI '91, Sydney, pp.325-330 (1991).
65) Dhar,V., Ranganathan,N.:
Integer programming vs. expert systems: An experimental comparison, C.ACM, 33,3, pp.323-336 (19990).
66) Dincbas,M. Simonis,H. Hentenryck,P.V.:
Solving large combinatorial problems in logic programming, J. Logic programming, 8, pp.75-93 (1990).
67) 江島俊朗:
整合ラベリング問題における確率的弛緩法の力学系, 信学論D, J71-D,3, pp.482-489 (1988).
68) Eric,W. Grimson,L.:
The Combionatorics of Object Recognition in Cluttered Environments using Constrained Search, Artificial Intelligence, 44,1-2, pp.121-165 (1990).
69) Faltings,B.:
Arc-consistency for continuous variables, Artificial Intelligence, 65, pp.363-376 (1994).
70) Faugeras,O.D.:
Relaxation labeling and evidence gathering, ICPR (Internat'l Conf. Pattern Recog.), 6th, pp.405-412 (1982).
71) Faugeras,O.D., Berthod,M.:
Improving consistency and reducing ambiguity in stochastic labeling: An optimization approach, IEEE Tr. PAMI, PAMI-3,4, pp.412-424 (1981).
72) Feldman,R., Golumbic,M.C.:
Constraint satisfiability algorithms for interactive student scheduling, IJCAI '89, Detroit, pp.1010-1016 (1989).
73) Feldman,R., Golumbic,M.C.:
Interactive scheduling as a constraint satisfiability problem, submitted to Annals of Mathematics and Artificial Intelligence, 1,1, pp. (1989).
74) Fernandez-Baca,D.:
Nonserial dynamic programming formulations of satisfiability, Inf. Proc. Lett., 27,6, pp.323-326 (1988).
75) Fowler,G., Haralick,R., Gray,F.G., Feustel,C., Grinstead,C.:
Efficient graph automorphism by vertex partitioning, Artificial Intelligence, 21,1-2, pp.245-269 (1983).
76) Fox,M.S., Sadeh,N., Baykan,C.:
Constrained heuristic search, IJCAI '89, Detroit, pp.309-315 (1989).
77) Freeman,J.W.:
Hard random 3-SAT problems and the Davis-Putnum procedure, Artificial Intelligence, 81, pp.183-198 (1996).
78) Freeman-Benson,B.N., Maloney,J., Borning,A.:
An incremental constraint solver, C.ACM, 33,1, pp.54-63 (1990).
79) Freuder,E.C.:
Synthesizing constraint expressions, C.ACM, 21,11, pp.958-966 (1978).
80) Freuder,E.C.:
A sufficient condition for backtrack-bounded search, J.ACM, 32,4, pp.755-761 (1985).
81) Freuder,E.C.:
A sufficient condition for backtrack-free search, J.ACM, 29.1, pp.24-32 (1982).
82) Freuder,E.C.:
Partial constraint satisfaction, IJCAI-89, , pp.278-283 (1989).
83) Freuder,E.C.:
Eliminating interchangeable values in constraint satisfaction problems, AAAI '91, , pp.227-233 (1991).
84) Freuder,E.C.:
Complexity of k-tree structured constraint satisfaction problems, AAAI-90, , pp.4-9 (1990).
85) Freuder,E.C., Mackworth,A.K.:
Introduction to the special volume on constraint-based reasoning, rtificial Intelligence, 58, pp.1-2 (1992).
86) Freuder,E.C., Mackworth,A.K.(eds):
Constraint-Based Reasoning, MIT Press, Cambridge, Mass., pp.p.403 (1994).
87) Freuder,E.C., Wallace,R.J.:
Partial constraint satisfaction, Artificial Intelligence, 58, pp.21-70 (1992).
88) 淵一博:
AIマップ − ロジックプログラミング, 人工知能学会誌, 9,2, pp.233-240 (1994).
89) 淵一博(監修)溝口文雄,古川康一,J.L.ラッセ(編):
制約論理プログラミング, 共立出版, 1989, pp. (p.202).
90) 福澤俊幸,中島俊介,長谷川晴朗,長谷川隆三:
制約論理型言語を用いたプランニングの記述, 情処大会, 第41回, 3L-9, pp.3-53,54 (Sept. 1990).
91) 古川康一:
論理と応用(1)−(3), 人工知能学会誌, 7,3, pp.416-426 and ... (1992).
92) Furukawa,K.:
Logic programming as the integrator of the fifth generation computer systems project, C.ACM, 35,3, pp.82-92 (1992).
93) Gaschnig,J.:
Performance measurement and analysis of certain search algorithms, Tech. Rept. CMU-CS-79-124, Carnegie-Mellon University, Pittsburgh, PA, , pp. (1979).
94) Gaschnig,J.:
Experimental case studies of backtrack vs. Waltz-type vs. new algorithms for satisficing assignment problems, Proc. 2nd Nat'l Canadian Conf. for Computational Studies of Intell.,Toronto, Canada, , pp.268-277 (1978).
95) Gaschnig,J.:
A constraint satisfaction method for inference making, Ann. Allerton Conf. on Circuit and System Theory, 12th, Monticello, IL, pp.866-874 (1974).
96) Gaschnig,J.:
A general backtrack algorithm that eliminates most redundant tests, Proc. Int. Conf. on Artif. Intell., Cambridge, MA, , pp.457 (1977).
97) Gent,I.P., Walsh,T.:
The satisfiabilityconstraint gap, Artificial Intelligence, 81, pp.59-80 (1996).
98) Gent,I.P., Walsh,T.:
The TSP phase transition, Artificial Intelligence, 88, pp.349-358 (1996).
99) Gerevini,A., Cristani,M.:
Reasoning with inequations in temporal constraint networks, CP'95(Internat'l Conf. on Constraint Programming), 1st, pp. (1995).
100) Gusgen,H.:
Consat: A System for Constraint Satisfaction, Morgan Kaufmann, , pp. (1989).
101) Gusgen,H.-W., Hertzberg,J.:
Some fundamental properties of local constraint propagation, Artificial Intelligence, 36,2, pp.237-247 (1988).
102) Gyssens,M., Jeavons,P.G., Cohen,D.A.:
Decomposing constraint satisfaction problems using databese techniques, Artificial Intell., 66,1, pp.57-89 (1994).
103) Haddock,N.J.:
Semantic evaluation as constraint network consistency, AAAI '92, , pp.415-420 (1992).
104) Hammad,A., Itoh,Y.:
Development of a knowledge acquisition tool for bridge design ES, 人知学会大会, 第6回,10-4, pp.433-436 (1992).
105) Han,C.-C., Lee,C.-H.:
Comments on Mohr and Henderson's path consistency algorithm, Artificial Intelligence, 36,1, pp.125-130 (1988).
106) Han,J.:
Constraint-based query evaluation in deductive databases, IEEE Tr. Knowledge & Data Eng., 6,1, pp.96-107 (1994).
107) 原裕貴,湯上伸弘,吉田裕之:
制約充足問題における制約緩和法を用いた最適化, 人工知能学会大会, 第5回,12-2, pp.489-492 (1991).
108) Hara,T., (Nishihara,S.):
Seigou labeling mondai ni okeru kousoku joken no jusoku-hou, Master Thesis, Univ. of Tsukuba, Rikou-gaku Kenkyu-ka, pp. (1984 Feb.).
109) 原田拓、溝口文雄:
GHCによる並列問題解決, 日本ソフトウェア科学会大会, 第5回,C1-2, pp.53-56 (1988).
110) 原田拓,溝口文雄:
ATMSを利用した並列制約充足, 情処大会, 第41回, 2K-5, pp.3-27,28 (Sept. 1990).
111) Haralick,R.M.:
Scene matching methods, Issues in Digital Image Processing(ed. R.M.Haralich & J.C.Simon), Sijthoff & Noordhoff, pp.221-243 (1980).
112) Haralick,R.M.:
The pattern recognition problem from the perspecive of relationtheory, Pattern Recog., 7, pp.67-79 (1975).
113) Haralick,R.M.:
Structural pattern recognition, arrangements and theory of covers, IEEE Conf. Patt. Recog. & Im. Proc., , pp. (1977).
114) Haralick,R.M.:
Structural pattern recognition,homomorphisms,and arrangements, Pattern Recog., 10, pp.223-236 (1978).
115) Haralick,R.M.:
The characterization of binary relation homomorphisms, Intnatl. J. General Syst., 4, pp.113-121 (1978).
116) Haralick,R.M.:
Scene analysis, homomorphisms, and arrangements, Computer Vision Systems, A.Hanson and E.Riseman (Eds.), Academic, pp. (1978).
117) Haralick,R.M., Davis,L.S., Rosenfeld,A., Milgram,D.L.:
Reduction operations for constraint satisfaction, Information Sciences, 14, pp.199-219 (1978).
118) Haralick,R.M., Elliot,D.B.:
Spatial reasoning to determine stream network from LANDSAT imagery, Proc. 6th ICPR, Munich, Germany, , pp.502-516 (1982).
119) Haralick,R.M., Elliot,G.L.:
Increasing tree search efficiency for constraint satisfaction problems, Proc. 6th IJCAI, , pp.356-364 (1979).
120) Haralick,R.M., Elliott,G.L.:
Increasing tree search efficiency for constraint satisfaction problems, Artificial Intelligence, 14, pp.263-313 (1980).
121) Haralick,R.M., Kartus,J.S.:
Arrangements, homomorphisms, and discrete relaxation, IEEE Tr. Syst., Man and Cyber., SMC-8,8, pp.600-612 (1978).
122) Haralick,R.M., Queeney,D.:
Understanding engineering drawings, Comput. Graphics & Im. Proc., 20, pp.244-258 (1982).
123) Haralick,R.M., Shapiro,L.G.:
The consistent labeling problem: Part I, IEEE Tr. PAMI, PAMI-1,2, pp.173-184 (1979).
124) Haralick,R.M., Shapiro,L.G.:
The consistent labeling problem: Part II, IEEE Tr. PAMI, PAMI-2,3, pp.193-203 (1980).
125) Haralick,R.M., Wang,S., Elliot,D.B.:
Spatial reasoning to determine strem network from LANDSAT imagery, ICPR 6th, Munich, pp.502-516 (1982).
126) 長谷川和代,松本美幸,狩野均,西原清一:
情処大会, 第52回, 2E-7, 1996, pp. (2-139).
127) Haselbock,A., Stumptner,M.:
Attribute-specific interchangeability in constraint satisfaction problems, EPIA'93(6th Portuguese Conf. on AI), Poto, Portugal, Lecture Notes in AI(Filgueiras,M., Damas,L.(ed)), 727, Springer, pp.258-270 (1993).
128) 橋田浩一:
制約と, コンピュータソフトウェア, 6,4, pp.16-29 (1989).
129) Hasida,K.:
A constraint-based approach to lingusitics performance, Internat'l Conf. on Computational Linguistics, 13th, vol.3, Helsinki, pp.149-154 (1990).
130) 服部雅一:
事例合成システム -制約充足手法を組み込んだ事例ベース推論-, 人知学会研究会資料, SIG-KBS-9502-10(9-19), pp.72-79 (1995).
131) Havens,W.S., Rehfuss,P.S.:
Platypus: a constraint-based reasoning system, IJCAI '89, Detroit, pp.48-53 (1989).
132) Henderson,T.C.:
A note on discrete relaxation, Comput. Vision, Graphics & Im. Proc., 28,3, pp.384-388 (1984).
133) Henderson,T.C., Samal,A.:
Parallel split-level relaxation, 9th ICPR, Rome, pp.220-222 (Nov. 1988).
134) Henderson,T.C., Samal,A.:
Multi-constraint shape analysis, Image and Vision Computing, 4,2, pp.84-96 (1986).
135) Henderson,T.C., Samal,A.,:
Parallel split-level relaxation , International Journal of Pattern Recognition and Artificial Intelligence., , pp. (1988).
136) Hinton,G.E., Sejnowski,T.J., Ackley,D.H.:
Boltzmann Machines: Constraint Satisfactions Networks That Learn , Tech. Repo. CMU-CS-84-119, Department of Computer Science, Carnegie-Mellon Univ., Pittsburgh, PA, , pp. (1984).
137) Hirai,Y.:
Mutually-linked-HASPs: a solution for constraint satisfaction problems by associative processing, ISE-TR-84-44, University of Tsukuba, pp.56 (July 1984).
138) 平岡敏洋,堀内匡,片井修,椹木哲夫,大田浩史:
制約充足問題に対する進化論的計算アプローチ, 知能システムシンポジウム, 第23回,計測自動制御学会, pp.69-74 (1996).
139) 平山勝敏,山田誠二,豊田順一:
山登り法を用いた分散制約充足における組織化, 人工知能研究会,情処学会, 93-AI-90, pp.23-32 (1993).
140) 平山勝敏,山田誠二,辻三郎:
CLD制約補充機能とその問題点, 人工知能学会大会, 第5回,12-7, pp.509-512 (1991).
141) 平山勝敏,山田誠二,辻三郎:
描画用制約プログラミング言語:CLDの設計, 情処大会, 第41回, 3L-8, pp.3-51,52 (Sept. 1990).
142) Hogg,T.:
Refining the phase transition in combinatorial search, Artificial Intelligence, 81, pp.127-154 (1996).
143) Hogg,T., Huberman,B.A., Williams,C.P.:
Phase transitions and the search problems, Artificial Intelligence, 81, pp.1-15 (1996).
144) Hogg,T., Williams,C.P.:
The hardest constraint problems: a doube phase transition, Artificial Intelligence, 69, pp.359-377 (1994).
145) Hower,W.:
An approach to constraints, IITB-TR-86-7, Fraunhofer-Institut fur Informations, Karlsruhe, pp.27 (1987).
146) Hower,W.:
A lattice-based constraint formalism, Australian Knowledge Engineering Congress, 1st, Melbourne, pp. (1989).
147) Hower,W.:
The relaxation of unsolvable CSPs, Workshop on Constraint Processing and Their Applications, IJCAI-89, 11th, pp. (1989).
148) Hower,W.:
Proper constraint relaxation, EPIA-89, Portuguese Conf. on Artif. Intell., 4th, pp. (1989).
149) Hower,W.:
Constraint directed reasoning eith partial information, AAAI Workshop on Constraint Directed Reasoning, Boston, pp. (1990).
150) Hower,W.:
On conflict resolution in inconsistent constraint networks, Tech. Report AIDA-90-02, Technische Hochschule Darmstadt, Fachbereich Informatik, pp.86 (April 1990).
151) Hower,W.:
Constraint satisfaction - algorithms and complexity analysis, Inf. Proc. Lett, ?, pp. (1995).
152) Hubbe,P.D., Freuder,E.C.:
An efficient cross product representation of the constraint satisfaction problem search space, AAAI '92, , pp.421-427 (1992).
153) Huffman,D.A.:
Impossible objects as nonsense sentences, Machine Intelligence, 6 (Ed. B.Meltzer & D.Michie), pp.295-323 (1971).
154) Hummel,R.A., Zucker,S.W.:
On the foundations of relaxation labeling processes, IEEE Tr. PAMI, PAMI-5,3, pp.267-287 (1983).
155) Hyvonen,E.:
Constraint reasoning based on interval arithmetic, IJCAI '89, Detroit, pp.1193-1198 (1989).
156) Hyvonen,E.:
Constraint reasoning based on interval arithmetic: the tolerance propagation approach, Artificial Intelligence, 58, pp.71-112 (1992).
157) Iba,H., Inoue,H.:
Reasoning of geometric concepts based on algebraic constraint-directed method, IJCAI '91, , pp.143 (1991).
158) 今成文明,山内学,小川均:
制約充足問題における実時間解決手法の提案, 情処大会, 第52回, 6C-9, pp.2-31 (Mar. 1996).
159) 犬飼利宏,大和田勇人,溝口文雄:
制約論理プログラミングにおける無矛盾制約伝播機構の導入, 人知学会大会, 第6回,11-5, pp.455-458 (1992).
160) Ishida,T., Korf,R.E.:
Moving target search, IJCAI91, , pp. (1991).
161) 石井恵,金田重郎:
充足過程学習機能を持つ制約型プログラミング手法, 人知学会大会, 第6回,10-2, pp.425-428 (1992).
162) 石井恵,金田重郎:
制約型プログラミングによるオフィス処理の実現, NTT R&D, 44,9, pp.819-826 (1995).
163) Ishii,M., Sasaki,Y., Kaneda,S.:
Interactive constraint satisfaction for office systems, Conf. Artificial Intelligence for Applications, 10th, San Antonio, pp.116-124 (1994).
164) 石川孝:
設計対象モデリングへのAIアプローチ, 人知学会誌, 7,2, pp.237-243 (1992).
165) 石塚 満:
知識の表現と高速推論, 丸善, , pp.p.296 (1996).
166) Itoh,K., Suzuki,S.:
Model construction from orthographic views as pseudo Boolean constraint satisfaction problem, World Conf. Integrated Design & Process Technology, 3rd, pp.76-83 (1996).
167) 伊藤謙治,石塚美奈子,原田和久,S. Chung,圓川隆夫:
制約階層型探索法を用いた配船スケジューリングシステム, 人工知能学会誌, 6,1, pp.60-71 (1991).
168) Jegou,P.:
On the consistency of general constraint-satisfaction problems, AAAI '93, , pp.114-119 (1993).
169) Jegou,P.:
Decomposition of domains based on the micro-structure of finite constraint-satisfaction problems, AAAI '93, , pp.731-736 (1993).
170) Kajiya,J.T., Herzen,B.P.V.:
Ray tracing volume densities, Comput. & Graphics, 18,3, pp.165-174 (1984).
171) 硴崎賢一:
Quasar Prologの制約評価機構, 情処大会, 第42回, pp.5-121 (Mar. 1991).
172) 硴崎賢一:
制約論理型プログラミング言語における変数管理方式, 情処学会,人工知能研究会,91−AI−74, 91,3, pp.1-10 (1991).
173) 狩野 均,長谷川和代,松本美幸,西原清一:
ウイルス進化論に基づく制約充足問題の解法, 知能システム・シンポジウム, 第23回,計測自動制御学会, pp.75-80 (1996).
174) 笠原孝保,山田直之,高橋ヨリ:
制約条件のフィルタリングを利用した推論制御方式, 人工知能学会研究会資料, SIG-KBS-9301-1, pp. (1993).
175) Kasif, S.:
On the parallel complexity of some constraint satisfaction problems, Proc. AAAI '86, , pp.349-353 (1986).
176) Kasif,S.:
On the parallel complexity of discrete relaxation in constraint satisfaction networks, Artificial Intelligence, 45, pp.275-286 (1990).
177) Kautz,H.A., Ladkin,P.B.:
Integrating metric and qualitative temporal reasoning, AAAI '91, , pp.241 (1991).
178) 岸義樹,柴田和人:
仕様充足問題における初期値推定法, 人知学会誌, 10,5, pp.752-760 (1995).
179) 北上始,横田治夫,服部彰:
知識ベース指向の並列推論処理システム, 情処大会, 第41回, 2K-3, pp.3-23,24 (Sept. 1990).
180) Kitchen,L.:
Relaxation applied to matching quantitative relational structures, IEEE Tr. Sys., Man and Cyber., 10,2, pp.96-101 (1980).
181) Kleer,J.:
A General Labeling Algorithem for Assumption-based Truth Maintenance, AAAI-88, , pp.188-192 (1988).
182) Kondrak,G., van Beek,P.:
A theoretical evaluation of selected backtracking algorithms, Artificial Intelligence, 89, pp.365-387 (1997).
183) Kornfeld,W.A.:
The use parallelism to implement a heuristic search, IJCAI, 7th, pp.575-580 (1981).
184) 越村三幸,瀧和男:
半順序による証明手続きの解析, ソフトウェア科学会大会, 第5回,A5-2, pp.205-208 (1988).
185) Kowalski,R.A.:
Logic programming in artificial intelligence, IJCAI, 12th, pp.596-603 (1991).
186) 古渡聡、長尾和彦、石井直宏:
依存関係管理による制約充足問題解決, 人工知能研究会報告, 92,18, pp.81-5 (1992).
187) 古渡聡,長尾和彦,石井直宏:
値間の依存関係の管理による制約充足問題の解法, 人工知能学会大会, 第5回,12-4, pp.497-500 (1991).
188) Kramer,G.A.:
A geometric constraint engine, Artificial Intelligence, 58, pp.327-360 (1992).
189) 窪田信一郎:
制約充足問題における並列併合解法の効率解析, 筑波大工学研究科 修士論文, , pp. (Feb. 1994).
190) 窪田信一郎,西原清一:
制約充足法による時間割編成に関する研究, 筑波大学 情報学類 卒業論文(情報工学), , pp. (Feb. 1992).
191) 窪田信一郎,内野寛治,狩野均,西原清一:
制約充足問題の併合解法における並列化の効率解析, 情処大会,第48回, 3N-5, pp.3-9 (Mar. 1994).
192) 窪田信一郎,内野寛治,李江洪,山下正吾,西原清一:
併合法による制約充足の並列化効果について, 情処大会,45回(工学院大), 7A-1, 3-1, pp.3-1 (Mar. 1993).
193) Kumar,V.:
Algorithms for constraint-satisfaction problems: a survey, AI Magazine, Spring, pp.32-44 (1992).
194) 黒川 寛,馬場口登,手塚慶一:
ネットワークの定性的挙動解析, 情処大会, 第41回, 1K-5, pp.3-9,10 (Sept. 1990).
195) 黒川 清,石川聖二,加藤清:
コンシステントラベリングを用いたパターン連想, 情処論文誌, 31,3, pp.511-515 (1990).
196) 車屋博之,広瀬正:
制約論理型言語のOR並列実行, 情処大会, 第42回,5M-8, pp.5-135 (Mar. 1991).
197) Leler,W.:
Constraint Programming Languages: Their Specification and Generation, Addison-Wesley, Reading, Mass, , pp.p.202 (1988).
198) Leung,H.F.:
Distributed Constraint Logic Programming, vol.41, World Scientific Pub., pp. (1993).
199) 李江洪,西原清一:
制約充足問題の多項式時間全解探索について, 人工知能学会誌, 9,6, pp. (Nov. 1994).
200) 李江洪,窪田信一郎,西原清一:
時間割編成問題の制約記述とその解法, 人工知能学会大会,第6回, B2-2, 11-2, pp.443-446 (1992).
201) 李江洪,山下,内野,窪田,西原:
バックトラック無し制約充足アルゴリズムの効率評価, 情処大会,第45回(工学院大), 7A-1, pp.3-5 (Mar. 1993).
202) 李江洪,西原清一:
多項式時間で計算可能な制約充足問題について, 人工知能学会大会, 第5回,12-1, pp.485-488 (1991).
203) Li,J.-H., Nishihara,S.:
制約充足問題の計算複雑さについて(2)A heuristic backtrack-free algorithm for solving constraint satisfaction problems, 情処大会, 42回, pp.3-228 (Mar. 1991).
204) 李江洪,山下正吾,窪田信一郎,狩野均,西原清一:
制約充足問題研究支援システム, 情処大会,第48回, 3N-8, pp.3-15 (Mar. 1994).
205) Li,Jian-hong, Nishihara,S.:
A constraint satisfaction algorithm using solution trees and its complexity, Internat'l Workshop on Automated Reasoning, IFIP, , pp. (Beijin, July, 1992).
206) Ligozat,G.:
On generalized interval calculi, AAAI '91, , pp.234-240 (1991).
207) Lipton,R.J., Tarjan,R.E.:
A separator theorem for planar graphs, SIAM J. Appl. Math., 36,2, pp.177-189 (1979).
208) 馬渕誠司,ハンマード,A.,伊藤義人:
歩道橋設計に関する制約に基づいたオブジェクト指向図形エディタの開発, 人知学会大会, 第6回,10-3, pp.429-432 (1992).
209) 町田和浩,川越恭二,相場亮:
視覚的制約プログラミングについて・情処大会, 第42回, Mar. 1991, pp. (5-39).
210) Mackworth,A.K.:
Consistency in networks of relations, Artificial Intelligence, 8, pp.99-118 (1977).
211) Mackworth,A.K.:
Constraint satisfaction, in Encyclopedia of Artificial Intelligence(ed. S.C.Shapiro), Wiley, pp.205-211 (1987).
212) Mackworth,A.K.:
The logic of constraint satisfaction, Articial Intelligence, 58, pp.3-20 (1992).
213) Mackworth,A.K., Freuder,E.C.:
The complexity of some polynomial network consistency algorithm for constraint satisfaction problems, Artificial Intelligence, 25,1, pp.65-74 (1985).
214) Mackworth,A.K., Freuder,E.C.:
The complexity of constraint satisfaction revisited, Artificial Intelligence, 59, pp.57-62 (1993).
215) Madre,J.C., Coudert,O.:
A logically complete reasoning maintenance system based on a logical constraint solver, IJCAI '91, Sydney, pp.294-299 (1991).
216) 牧野俊朗,石塚満:
制約評価機構付き仮説推論システムとその回路ブロック設計への応用, 人工知能学会誌, 5,5, pp.640-648 (1990).
217) 丸山文宏,箕田依子,澤田秀穂,滝沢ユカ,川戸信明:
制約違反の十分条件を用いた組合せ制約充足,最適化, 人工知能学会大会, 第5回,12-3, pp.493-496 (1991).
218) 丸山文宏,箕田依子,澤田秀穂,滝沢ユカ,川戸信明:
制約違反の十分条件を用いた組合せ制約充足・最適化, 情処論文誌, 33,5, pp.585-594 (1992).
219) 丸山宏:
選言つき素性構造を対象とした制約ソルバー, 人工知能学会大会, 第4回,11-2, pp.341-344 (1990).
220) 丸山宏,渡辺日出雄:
制約伝搬アルゴリズムを用いた対話的日本語解析システム, ソフトウェア科学会大会, 第5回,A-1, pp.17-20 (1988).
221) 増田宏,沼尾雅之,清水周一:
非多様体モデラとATMSを用いた三面図からのソリッド合成法, 情処論文誌, 35,3, pp.453-460 (1994).
222) 松尾嘉和,西原清一,池田克夫:
概整合ラベリング問題における併合解法の並列化について, 人工知能学会大会, 第2回, pp. (1988).
223) McCall,J.T., Tront,J.G., Gray,F.G., Haralick,R.M., McCormack,W.M.:
Parallel computer architecture and problem solving strategies for the consistent labeling problem, IEEE Tr. Computers, C-34,11, pp.973-980 (1985).
224) McGregor,J.J.:
Relational consistency algorithms and their application in finding subgraph and graph isomorphisms, Information Sciences, 19, pp.229-250 (1979).
225) McKusick,K.B., Langley,P.:
Constraintson tree structure in concept formation, IJCAI '91, , pp.810 (1991).
226) Meiri,I.:
Combining qualitative and quantitative constraints in temporal reasoning, AAAI '91, , pp.260-267 (1991).
227) Meiri,I.:
Combining qualitative and quantitative constraints in temporal reasoning, Artificial Intelligence, 87, pp.343-385 (1996).
228) Meiri,I., Dechter,R., Pearl,J.:
Tree decomposition with applications to constraint processing, AAAI-90, , pp.10-16 (1990).
229) Meiri,I., Dchter,R., Pearl,J.:
Uncovering trees in constraint networks, Artificial Intelligence, 86, pp.245-267 (1996).
230) Menezes,F., Barahona,P.:
Preliminary formalization of an incremental hierarchcal constraint solver, EPIA'93(6th Portuguese Conf. on AI), Poto, Portugal, Lecture Notes in AI(Filgueiras,M., Damas,L.(ed)), 727, Springer, pp.281-296 (1993).
231) Meyer,M.A., Muller,J.P.:
Finite domain consistency techniques: their combination and application in computer-aided process planning, EPIA'93(6th Portuguese Conf. on AI), Poto, Portugal, Lecture Notes in AI(Filgueiras,M., Damas,L.(ed)), 727, Springer, pp.385-394 (1993).
232) Minton,S.:
Integrating heuristics for constraint satisfaction problems: a case study, AAAI '93, , pp.120-126 (1993).
233) Minton,S., Johnston,M.D., Philips,A.B., Laird,P.:
Solving large-scale constraint satisfaction and scheduling problems using a heuristic repair method, AAAI '90, , pp.17-24 (1990).
234) Minton,S., Johnston,M.D., Philips,A.B., Laird,P.:
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems, Artif. Intell., 58, pp.161-205 (1992).
235) Mitchell,D.G., Levesque,H.J.:
Some pitfalls for experimenters with random SAT, Artificial Intelligence@, 81, pp.111-125 (1996).
236) Mitchell,D., Selman,B., Levesque,H.:
Hard and easy distributions of SAT problems, AAAI '92, , pp.459-465 (1992).
237) Mittal,S., Falkenhainer,B.:
Dynamic constraint satisfaction problems, AAAI '90, , pp.25-32 (1990).
238) Miyachi,T.:
Heikou program no imi-ron (Formal semantics of concurrent program), Joho-shori, 26,1, pp.17-24 (1985).
239) 溝口文雄,浅生大作,大和田勇人:
制約概念に基づいたグラフィックインタフェースの設計, 人工知能学会大会, 第4回,15-1, pp.441-444 (1990).
240) Mohr,R., Henderson,T.C.:
Arc and path consistency revisited, Artificial Intelligence, 28, pp.225-233 (1986).
241) Montanari,U.:
Networks of constraints: Fundamental properties and applications to picture processing, Information Sciences, 7,2, pp.95-132 (1974).
242) 森辰則,中川裕志:
Prologプログラム変換に基づくあるクラスの否定情報の扱える制約システム, 人知学会誌, 10,6, pp.980-987 (1995).
243) Moriarty,J.D.:
A database system for three-dimensional relational models, Master's thesis,Dept.Comput.Sci.,VPI&SU, LD5655,M675, pp. (1980).
244) Morris,P.:
The breakout method for escaping from local minima, AAAI '93, , pp.40-45 (1993).
245) Mulder,J.A., Mackworth,A.K., Havens,W.S.:
Knowledge structuring and constraint satisfaction: The mapsee approach, IEEE Tr. PAMI, 10,6, pp.866-879 (1988).
246) Mulgaonkar,P.G.,Shapiro,L.G.,Haralick,R.M.:
Recognizing three-dimensional objects from single perspectiveviews using geometric and relational reasoning, subm., 1982, pp. (1982).
247) Mundy,J.L., Vrobel,P., Joynson,R.:
Constraint-based modeling, Image Understanding Workshop, DARPA, Palo Alto, pp.425-442 (1989).
248) 村岡洋一:
超並列計算機, 人工知能学会誌, 7,1, pp.38-47 (1992).
249) Murtagh,N., Taki,H., Katsuyama,T.:
An object-oriented constraint-based approach to layout design, 人知学会大会, 第6回,S1-1, pp.49-52 (1992).
250) Nadel,B.A.:
The complexity of constraint satisfaction in Prolog, AAAI '90, , pp.33-39 (1990).
251) 永井保夫:
ブール代数を用いた制約充足問題の定式化とその解法について, 情処大会, 第41回,1K-3, pp. (1990).
252) 永井保夫,長谷川隆三:
データフロー解析による制約論理型言語の処理系への効率化検討, 人工知能学会大会, 第5回,12-5, pp.501-504 (1991).
253) 永井保夫,生駒憲治:
制約グラフのスパース構造に基づいた整合性解析と制約処理の効率化についての検討, 人工知能学会大会, 第4回, pp.97-100 (1990).
254) Nagai,Y., Terasaki,S.:
人知学会誌, 11,1, 1996, pp. (60-74).
255) 長尾確:
制約と選好:構造的多義性の解消のための文法的知識と意味論的知識の統合, 人工知能学会大会, 第4回,11-3, pp.345-348 (1990).
256) 中島裕生:
設計における知識表現とモデリング, 人知学会誌, 7,2, pp.212-218 (1992).
257) 中島震:
制約伝播機構を内蔵するオブジェクト指向言語:COOL, 情処論文誌, 28,5, pp.534-537 (1987).
258) 中山健,川合慧:
一般化パス拘束による図の生成, グラフィクスとCADシンポジウム, 第7回, pp.199-206 (1989).
259) Nau,D.S.:
Expert computer systems, IEEE COMPUTER, 16,2, pp.63-85 (1983).
260) Nguyen,V.-D., Mundy,J.L., Kapur,D.:
Modeling polyhedra by constraints, Image Understanding Workshop, DARPA, pp.515-529 (1990).
261) 西部喜康,桑原和宏,石田亨:
分散制約充足アルゴリズムの一般化と評価, 人工知能研究会,情処学会, 77-12, pp.97-106 (1991).
262) Nishibe,Y., Kuwabara,K., Ishida,T.:
Effects of heuristics in distributed constraint satisfaction: Towards satisficing algorithms, Workshop on Distributed Artificial Intelligence, 11th, pp. (1992).
263) Nishibe,Y., Kuwabara,K., Ishida,T., Yokoo,M.:
Speed-up of distributed constraint satisfaction and its application to communication network path assignments, Systems and Computers in Japan, 25,12, pp.54-67 (1994).
264) 西原清一:
整合ラベリング問題と応用, 情報処理, 31,4, pp.500-507 (1990).
265) 西原清一:
制約充足問題(CSP)の基礎と動向, 第5回人工知能学会大会,チュートリアル「問題解決における制約知識の利用」, Track B-1, pp.1-18 (1991).
266) 西原清一:
制約充足問題の高速解法, 情報処理学会,チュートリアル「知識ベースシステムにおける高速推論技術」, 92,1, pp.29-47 (1992).
267) 西原清一,原智亨,池田克夫:
拘束ネットワークを用いた整合ラベリング法, 信学論(D), J67-D,7, pp.745-752 (1984).
268) Nishihara,S., Hara,T., Ikeda,K.:
Consistent labeling methods using constraint networks, Systems and Computers in Japan, 16,1, pp.18-24 (1985).
269) 西原清一,原智亨,池田克夫:
整合ラベリングのための改良拘束伝播法, 情処論文誌, 26,1, pp.1-8 (1985).
270) Nishihara,S., Ikeda,K.:
Consistent labeling methods using constraint networks, ISE-TR-85-49, Inst. of Inf. Sci. & Elec., Univ. of Tsukuba, pp. (1985 Feb.).
271) Nishihara,S., Ikeda,K.:
A constraint synthesizing algorithm for the consistent labeling problem, ICPR (Inetrnat'l Conf. Pattern Recog.), 7th, pp.310-312 (1984).
272) Nishihara,S., Ikeda,K.:
Constraint synthesizing by network reduction for consistent labeling problem, ISE-TR-83-42, University of Tsukuba, pp. (1983 Nov.).
273) Nishihara,S., Ikeda,K.:
A solution algorithm for the consistent labeling problem using the structure of constraints, ICPR, 8th, pp.198-200 (1986).
274) 西原清一,李江洪:
制約充足問題の計算複雑さについて(1), 情処大会, 第42回, pp. (1991).
275) 西原清一,松尾嘉和,池田克夫:
概整合ラベリング問題における併合法の最適化と効率評価, 人工知能学会誌, 3,2, pp.196-205 (1988).
276) 西原清一,松尾嘉和:
整合ラベリング問題における併合法の並列化について, 人工知能学会誌, 6,1, pp.124-128 (1991).
277) Nishihara,S., Shiozawa,Y., Ikeda,K.:
Consistent labeling algorithms using the dynamic programming concepts, ICS(Internat'l Computer Symp.) '86, , pp.1338-1343 (1986).
278) 西原清一,渡辺恒文,池田克夫:
整合ラベリングのための拘束条件の深さ優先探索, 情処大会, 28回, pp. (Mar. 1984).
279) 西原清一,渡辺恒文,池田克夫:
面間の局所的拘束関係を用いた三面図解釈, 情処論文誌, 28,5, pp.534-537 (1987).
280) 西森雄一,内野寛治,狩野 均,西原清一:
制約違反最小化戦略による対話型時間割編成システム, 情処研報, 95,86(95-AI-101),人工知能研究会,情処学会, pp. (25-32).
281) 西岡靖之,寺野隆雄:
制約伝播を利用した再スケジューリング手法, 人知学会大会, 第6回,10-1, pp.421-424 (1992).
282) 西澤信一郎,中川裕志:
接続助詞「ので」による順接複文の共参照関係の解析, 人知学会誌, 11,4, pp.629636 (1996).
283) 西沢 剛,開 一夫,安西祐一郎:
目標制約の表現機構を備えた制約論理型言語EPOCH, 人工知能学会誌, 7,3, pp.487-495 (1992).
284) 野中哲:
部分解を利用した制約充足問題解決, 人工知能研究会,情処学会, 92-AI-85, pp.1-8 (1992).
285) Nudel,B.:
Consistent-labeling problems and their algorithms: expected- complexities and theory-based heuristics, Artificial Intelligence, 21, pp.135-178 (1983).
286) Nudel,B.:
Solving the general consistent labeling (or constraint satisfaction) problem: Two algorithms and their expected complexities, Proc. AAAI, , pp.292-296 (1983).
287) 沼尾雅之,増田宏:
三面図からのソリッドモデル変換技術の現状, 人知学会誌, 11,4, pp.542-549 (1996).
288) 沼尾雅之,嶋田憲司,増田宏,川辺真嗣:
設計データベース構築に向けた3次元モデリングにおける制約の記述とその管理, グラフィクスとCADシンポジウム, 情処学会, 89,7, pp. (1989).
289) 沼尾雅之,清水周一,増田宏:
幾何制約にもとづく3次元形状設計システム, 人知学会大会, 第6回,S1-3, pp.57-60 (1992).
290) 大沢幸生,石塚 満:
新しい制約不等式に基づくネットワーク化バブル伝播法による高速仮説推論, 人工知能研究会,情処学会, 93-AI-90, pp.71-80 (1993).
291) 大和田隼人,溝口文雄:
論理型言語による制約充足, ソフトウェア科学会大会, 第5回,C1-3, pp. (1988).
292) 大和田勇人,溝口文雄:
制約プログラミングによるインタラクティブグラフィックス, 人知学会大会, 第6回,S1-4, pp.61-54 (1992).
293) Pasternak,B., Neumann,B.:
Adaptable drawing interpretation using object-oriented and constraint-based graphic specification, ICDAR '93, , pp.59-364 (1993).
294) Pearl,J.:
Heuristics, Addison-Wesley, Reading,Mass., pp. (1984,p.382).
295) Pemberton,J.C., Zhang,W.:
Epsilon-transformation: exploiting phase transitions to solve combinatorial optimization problems, Artificial Intelligence, 81, pp.297-325 (1996).
296) Poesio,M., Brachman,R.J.:
Metric constraints for maintaining appointments: Dates and repeated activities, AAAI '91, , pp.253-259 (1991).
297) Prosser,P.:
An empirical study of phase transition in binary constraint, Artificial Intelligence, 81, pp.81-109 (1996).
298) Puget,J.-F.:
On the satisfiability of symmetrical constrained satisfaction problems, EPIA'93(6th Portuguese Conf. on AI), Poto, Portugal, Lecture Notes in AI(Filgueiras,M., Damas,L.(ed)), 727, Springer, pp.350-361 (1993).
299) Rahmani,A.T., Ono,N.:
Constrained optimization with genetic algorithms: channel routing case, 人知学会誌, 11,3, pp.461-469 (1996).
300) Rivin,I., Zabih,R.:
An algebraic approach to constraint satisfaction problems, IJCAI '89, Detroit, pp.284-289 (1989).
301) Rosenfeld,A., Hummel,R.A., Zucker,S.W.:
Scene labeling by relaxation operations, IEEE Tr. Systems, Man & Cybernetics, SMC-6,6, pp.420-433 (1976).
302) Rupp,C.J., Rosner,M.A., Johnson,R.L.:
Constraints, Language and Computation, Academic Press, London, pp.p.391 (1994).
303) Sadeh,N., Fox,M.S.:
Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem, Artificial Intelligence, 86, pp.1-41 (1996).
304) Sakai,K., Aiba,A.:
CAL: A theoretical background of constraint logic programming and its applications, J. Symbolic Computation, 8, pp.589-603 (1989).
305) Samal,A., Henderson,T.C.:
Parallel consistent labeling algorithms, Internat'l Jour. Parallel Programming, 16,5, pp.341-364 (1987).
306) 佐野直人,入月克巳,福村聡,稲山晶弘:
制約指向プログラミングの原料ヤード作業計画システムへの適用, 情処大会, 第52回, 6C-6, pp.2-25 (Mar. 1996).
307) Saraswat,V.A.:
Concurrent Constraint Programming, MIT Pr., Ma., pp. (1993).
308) Schrag,R., Crawford,J.M.:
Impicates and prime implicates in Random 3-SAT, Artificial Intelligence, 81, pp.199-222 (1996).
309) Schwalb,E., Dechter,R.:
Coping with disjunctions in temporal constraint satisfaction problems, AAAI '93, , pp.127-132 (1993).
310) Seidel,R.:
A new method for solving constraint satisfaction problems, IJCAI (Internat'l Joint Conf. on Artificial Intelligence), 7th, pp.338-342 (1981).
311) Selman,B.:
Stochastic search and phase transitions: AI meets physics, Proc. IJCAI, '95, pp.998-1002 (1995).
312) Selman,B., Kirkpatrick,S.:
Critical behavior in the computational cost of satisfiability testing, Artificial Intelligence, 81, pp.273-295 (1996).
313) Selman,B., Levesque,H., Mitchell,D.:
A new method for solving hard satisfiability problems, AAAI '92, , pp.440-446 (1992).
314) Selman,B., Mitchell,D.G., Levesque,H.J.:
Generating hard satisfiability problems, Artificial Intelligence, 81, pp.17-2 (1996).
315) Shapiro,L.G.:
Solving consistent labeling problems having the separation property, ICPR, 7th, pp.313-315 (1984).
316) Shapiro,L.G., Moriarty,J.D., Haralick,R.M., Mulgaonkar,P.G.:
Matching three-dimensional objects using a relational paradigm, Pattern Recognition, 17,4, pp.385-405 (1984).
317) Shapiro,L.G.,Haralick,R.M.:
A general spatial data structure Proc. IEEE Conf.Patt.Recog.&Imag.Proc.,Chicago,IL, Proc.IEEE Conf. Patt.Recg.&Imag.Proc.,Chicago,IL, May 31-June 2, pp.238-289 (1978).
318) Shapiro,L.G.,Haralick,R.M.:
Decomposition of two-dimensional shapes by graph-theoreticclustering, IEEE Tr.PAMI, PAMI-1,1, pp.10-20 (1979).
319) Shapiro,L.G.,Haralick,R.M.:
Structural descriptions and inexact matching, IEEE Tr.PAMI, PAMI-3,5, pp.504-519 (1981).
320) Shapiro,L.G.,Haralick,R.M.:
Organization of relational models for scene analysis, IEEE,PAMI, PAMI-4,6, pp.595-602 (1982).
321) Shapiro,L.G.,Moriarty,J.D.,Haralick,R.M.:
Matching three-dimensional object models, Proc. IEEE Conf. Patt.Recog.&Imag.Proc., , pp. (1981).
322) Shapiro,L.G.,Moriarty,J.D.,Haralick,R.M.:
Matching three-dimensional objects using a relational paradigm, Tech.Rep. CS800140-R, Dept.Comput.Sci.,VPI&SU, , pp. (1980).
323) Shapiro,L.G.,Mulgaonkar,P.G.,Moriarty,J.D.,Haralick,R.M.:
A generalized blob model for three-dimensional object description, 2nd IEEE Workshop on Pic.Descr.&Manag., , pp. (1980).
324) 塩澤恒道,西原清一,池田克夫:
整合ラベリング問題における拘束条件の構造について, 情処大会, 第30回, pp.1309-1310 (March 1985).
325) 塩澤恒道,西原清一,池田克夫:
拘束条件の構造を考慮した整合ラベリング問題の解法, 情処論文誌, 27,10, pp.927-935 (1986).
326) 塩澤恒道,西原清一,池田克夫:
拘束条件の構造を考慮した整合ラベリング問題の解法, 文部省特定研究「多元知識情報」, 北大, pp. (July 1985).
327) 塩澤恒道,西原清一,池田克夫:
ラベル組に重みを持つ整合ラベリング問題の解法, 情処大会, 31回, 4P-3, pp.1273-1274 (Sept. 1985).
328) 塩澤恒道,西原清一,池田克夫:
拘束条件の局所性に基づいた整合ラベリングアルゴリズム, 情処学会,知識工学と人工知能研究会, 85-AI-42, pp. (Sept. 1985).
329) Siskind,J.M., McAllester,D.A.:
Nondeterministic Lisp as substrate for constraint logic programming, AAAI '93, , pp.133-138 (1993).
330) Smith,B.M., Dyer,M.E.:
Locating the phase transition in binary constraint satisfaction problems, Artificial Intelligence, 81, pp.155-181 (1996).
331) Smith,S.F., Cheng,C.-C.:
Slack-based heuristics for constraint satisfaction scheduling, AAAI '93, , pp.139-144 (1993).
332) Song,F., Cohen,R.:
Temporal reasoning during plan recognition, AAAI '91, , pp.247 (1991).
333) 杉本明:
対話型設計支援のための制約保持手法 − 強度に基づく制約伝播法, 信学論D-I, J72-D-I,5, pp.335-342 (1989).
334) 杉本勉Sugimoto,T.:
制約概念を導入した知識表現言語, 情処大会, 第41回,3L-7, pp.3-49,50 (Sept. 1990).
335) 鈴木宏正:
機械設計CADと幾何推論, 人工知能学会誌, 7,2, pp.219-228 (1992).
336) Swain,M.J., Cooper,P.R.,:
Parallel hardware for constraint satisfaction, AAAI '88, , pp.682-686 (1988).
337) Sycara,K.P., Roth,S., Sadeh,N., Fox,M.:
Distributed constrained heuristic search, IEEE Trans. Syst., Man and Cyber., 21,6, pp.1446-1461 (1991).
338) 田中穂積:
パージング - 制約統合型モデルの提案 -, 人知学会誌, 11,4, pp.507-513 (1996).
339) Tanimoto,T.:
A constraint decomposition method for spatio-temporal configuration problems, AAAI '93, , pp.145-151 (1993).
340) Thathachar,M.A., Sastry,P.S.:
Relaxation labeling with learning automata, IEEE Tr. PAMI, PAMI-8,2, pp.256-268 (1986).
341) Tsang,E.P.K.:
The consistent labeling problem in temporal reasoning, AAAI '87, , pp.251-255 (1987).
342) 津田宏,和住誠一郎,相場亮:
ネゴシエーションに基づくアブダクション, 人工知能研究会,情処学会, 93-AI-89, pp.133-134 (1993).
343) 内野寛治,狩野 均,西原清一:
制約知識ベースに基づく三面図理解, 人知学会誌, 11,4, pp.157-165 (1996).
344) 内野寛治,窪田信一郎,狩野 均,西原清一:
制約充足問題の並列化効率に基づく分類, 情処論文誌, 35,12, pp.2676-2684 (1994).
345) 上田晴康:
スケジューリング問題向き言語GCLとその応用, 人知学会大会, 第6回,S1-5, pp.65-68 (1992).
346) Ullmann,J.R.:
An algorithm for subgraph isomorphism, J.ACM, 23,1, pp.31-42 (1976).
347) Valdes-Oerez,R.:
The satisfiability of temporal constraint networks, AAAI '87, , pp.256-260 (1987).
348) van Beek,P.:
Approximation algorithms for temporal reasoning, IJCAI '89, , pp.1291-1296 (1989).
349) van Beek,P.:
On the minimality and decomposability of constraint networks, AAAI '92, , pp.447-452 (1992).
350) van Beek,P.:
Reasoning about qualitative temporal information, Artificial Intelligence, 58, pp.297-326 (1992).
351) Van Denneheuvel,S., Kwast,K.L.:
Weak equivalence for constraint sets, IJCAI '91, , pp.851 (1991).
352) Van Hentenryck,P.:
Constraint Satisfaction in Logic Programming, MIT Press, Cambridge, Mass., , pp.p.224 (1989).
353) Van Hentenryck,P., Simonis,H., Dincbas,M.:
Constraint satisfaction using constraint logic programming, Artificial Intelligence, 58, pp.113-159 (1992).
354) Voigt,K., Tong,C:
Automating the construction of patchers that satisfy global constraints, IJCAI '89, Detroit, pp.1446-1452 (1989).
355) 和田慎一,山田忠,椎名茂,渡辺正信:
制約処理に基づく数表計画エキスパートシステム, 人知学会大会, 第6回,S1-2, pp.53-56 (1992).
356) 和住誠一郎,津田宏,相場亮:
ネゴシエーションによる制約緩和の並列実装, 人工知能研究会,情処学会, 93-AI-89, pp.135-136 (1993).
357) 脇田有紀子,西森雄一,狩野均,西原清一:
制約に基づく対話型室内レイアウトシステム, 情処学会大会, 第52回,6C-5, pp.2-23 (Mar. 1996).
358) Wallace,R.J., Freuder,E.C.:
Conjunctive width heuristics for maximal constraint satisfaction, AAAI '93, , pp.762-768 (1993).
359) Ward,A.C., Lozano-Perez,T., Seering,W.P.:
Extending the constraint propagation of intervals, IJCAI '89, Detroit, pp.1453-1458 (1989).
360) Watanabe,T., (Nishihara,S.):
Seigou labeling mondai ni okeru fukasa-yuusen tansaku-hou, Showa 58-nendo Sotsugyo Kenkyu Ronbun, Univ. of Tsukuba, Joho Gakurui (Joho Kagaku), pp. (1984 Feb.).
361) Watanabe,T., Nishihara,S., Ikeda,K.:
Men no kaishaku seigou-ka ni yoru 3-men-zu no rikai, Jo-sho Gakkai, Graphics to CAD Kenkyu-kai, 17-1, pp. (May 1985).
362) Watanabe,T., Nishihara,S., Ikeda,K.:
Kousoku seigou-ka ni yoru 3-men-zukara no tamentai fukugen, Jo-sho-taikai, 31st, 8J-4, pp.1669-1670 (Sept. 1985).
363) Williams,C.P., Hogg,T.:
Extending deep structure, AAAI '93, , pp.152-157 (1993).
364) 谷萩直行,大和田勇人,溝口文雄:
制約プログラミングの数理計画への応用, 人知学会大会, 第6回,11-6, pp.459-462 (1992).
365) Yang,Q.:
A theory of conflict resolution in planning, Artificial Intelligence, 58, pp.361-392 (1992).
366) 横井俊夫,相場亮:
制約ロジックプログラミング − 知識処理への新しいパラダイム −, 情報処理, 30,1, pp.29-38 (1989).
367) 横尾真:
分散ATMSを用いた探索問題の解法, 人知学会大会, 第3回, pp.167-170 (1989).
368) Yokoo,M.:
Dynamic variable.value ordering heuristics for solving large-scale distributed constraint satisfaction problems, Internat'l Workshop on Distributed Artificial Intelligence, 12th, pp.407-422 (1993).
369) 横尾真:
分散制約充足アルゴリズム, コンピューティング基礎研究会,信学会, COMP89-90, pp.9-16 (1989).
370) 横尾 真:
弱コミットメント戦略を用いた制約充足問題の解法, 情処学会誌, 35,8, pp.1540-1548 (1994).
371) 横尾 真:
柔軟で動的なエージェントの組織構造を用いた分散制約充足アルゴリズム, 人知学会誌, 11,6, pp.933-940 (1996).
372) Yokoo,M.:
Weak-commitment search for solving constraint satisfaction problems, AAAI-94, , pp.313-318 (1994).
373) Yokoo,M.:
Asynchronous weak-commitment search for solving distributed constraint satisfaction problems, Internat'l Conf. on Principles and Practice of Constraint Programming, , pp.88-102 (1995).
374) Yokoo,M., Durfee,E.H.:
Distributed constraint optimization as a formal model of partially adversarial cooperation, IJCAI-91 Workshop on Reasoning in Adversarial Domains, , pp. (1991).
375) Yokoo,M., Durfee,E.H.:
Distributed search formalism for distributed problem solving: Overview, Workshop on Distributed Artificial Intelligence, 11th, pp. (1992).
376) Yokoo,M., Durfee,E.H., Ishida,T., Kuwabara,K.:
Distributed constraint satisfaction for formalizing distributed problem solving, Computer Science and Engineering Division, Univ. Michigan, CSE-TR-102-91, also in Proc. 12th IEEE Internat'l Conf. on Distributed Computing Systems, pp.17 (1992).
377) 横尾真,E.H.ダーフィ,石田亨,桑原和宏:
分散制約充足による分散協調問題解決の定式化とその解法, 信学論D-I, J75-D-I,8, pp.704-713 (1992).
378) 横尾真,石田亨:
分散問題解決におけるATMSの利用, 人知学会大会, 第2回, pp.141-143 (1988).
379) 横尾 真,石田 亨:
ATMSを用いた分散制約充足問題の解法, 情処論文誌, 31,1, pp. (1990).
380) Yokoo,M., Ishida,T., Kuwabara,K.:
Distributed constraint satisfaction for DAI problems, Workshop on Distributed Artificial Intelligence, 10th, Chap.18, pp. (1990).
381) Yokoo,M., Suyama,T., Sawada,H.:
Solving satisfiability problems using field programmable gate arrays: first results, Internat'l Conf. Princiles and Practice of Constraint Programming, , pp. (1996).
382) 横尾真,上田和紀:
並列論理型言語上での制約充足方式の比較, 情処論文誌, 32,3, pp.296-303 (1991).
383) 横山孝典,佐塚秀人:
制約に基づくオブジェクト指向知識表現システム, 情処論文誌, 31,1, pp.68-75 (1990).
384) 吉田裕之:
合成型問題のための制約充足の高速解法, 情報処理学会,チュートリアル「知識ベースシステムにおける高速推論技術」, 92,1, pp.97-121 (1992).
385) Yoshikawa,M., Kaneko,K., Nomura,Y., Watanabe,M.:
A constraint-based approach to high-school timetabling problems: a case study, AAAI-94, vol.2, pp.1111-1116 (1994).
386) 吉川昌澄,和田慎一:
宣言的集合記述を用いたアーク無矛盾性アルゴリズム, 人知学会大会, 第6回11-1, pp.439-442 (1992).
387) 湯上伸弘:
時間制約充足問題の解法, 人知学会大会, 第6回,11-3, pp.447-450 (1992).
388) 荏原裕美子,大和田勇人,溝口文雄:
制約の一般化による空間的関係の学習, 人知学会大会, 第6回,11-4, pp.451-454 (1992).
389) Zabih,R.:
Some applications of graph bandwidth to constraint satisfaction problems, AAAI '90, , pp.46-51 (1990).
390) Zhang,W., Korf,R.E.:
A study of complexity transitions on the asymmetric traveling salesman problem, Artificial Intelligence, 81, pp.223-239 (1996).
391) Zhang,Y., Mackworth,A.:
Parallel and distributed algorithms for finite constraint satisfaction problems, IEEE Symposium on Parallel and Distributed Processing, 3rd, pp.394-397 (1991).
392) Zhuang,X., Haralick,R.M., Joo,H.:
A simplex-like algorithm for the relaxation labeling process, IEEE Tr. PAMI, 11,12, pp.1316-1321 (1989).
393) Zucker,S.W., Krishnamurthy,E.V., Haar,R.L.:
Relaxation processes for scene labeling: convergence, speed, and stability, IEEE Tr. Syst., Man & Cybernetics, SMC-8,1, pp.41-48 (1978).
394) Zweben,M., Davis,E., Daun,B., Drascher,E., Deale,M., Eskey,M.:
Learning to improve constraint-based scheduling, Artificial Intelligence, 58, pp.271-296 (1992).

先頭へ