-
1
-
-
0036467697
-
Consistency restoration and explanations in dynamic CSPs - Application to configuration
-
DOI 10.1016/S0004-3702(01)00162-X, PII S000437020100162X
-
J. Amilhastre, H. Fargier, and P. Marquis. Consistency restoration and explanations in dynamic CSPs-application to configuration. Artificial Intelligence, 135(1-2):199-234, 2002. (Pubitemid 34110158)
-
(2002)
Artificial Intelligence
, vol.135
, Issue.1-2
, pp. 199-234
-
-
Amilhastre, J.1
Fargier, H.2
Marquis, P.3
-
2
-
-
33646175960
-
-
Master's thesis, Department of Innovation, IT University of Copenhagen
-
Lars Sonne and Rene Jensen. Power Supply Restoration. Master's thesis, Department of Innovation, IT University of Copenhagen, 2005.
-
(2005)
Power Supply Restoration
-
-
Sonne, L.1
Jensen, R.2
-
7
-
-
0344576666
-
Solving power supply restoration problems with planning via symbolic model checking
-
IOS Press
-
P. Bertoli, A. Cimatti, J. Slanley, and S. Thiébaux. Solving power supply restoration problems with planning via symbolic model checking. In 15th European Conference on Artificial Intelligence ECAI'02, Lyon, France, pages 576-580. IOS Press, 2002.
-
(2002)
15th European Conference on Artificial Intelligence ECAI'02, Lyon, France
, pp. 576-580
-
-
Bertoli, P.1
Cimatti, A.2
Slanley, J.3
Thiébaux, S.4
-
8
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, 8:677-691, 1986.
-
(1986)
IEEE Transactions on Computers
, vol.8
, pp. 677-691
-
-
Bryant, R.E.1
-
10
-
-
0344704289
-
A survey of graph layout problems
-
September
-
Josep Diaz, Jordi Petit, and Maria Serna. A survey of graph layout problems. In ACM Computing Surveys, volume 34, September 2002.
-
(2002)
ACM Computing Surveys
, vol.34
-
-
Diaz, J.1
Petit, J.2
Serna, M.3
-
11
-
-
84880902502
-
Monte-carlo simulation to propagate uncertainties in fault trees encoded by means of binary decision diagrams
-
Y. Dutuit, A. Rauzy, and J.-P. Signoret. Monte-carlo simulation to propagate uncertainties in fault trees encoded by means of binary decision diagrams. In 1st International Conference on Mathematical Methods in Reliability, MMR'97, pages 305-312, 1997.
-
(1997)
1st International Conference on Mathematical Methods in Reliability, MMR'97
, pp. 305-312
-
-
Dutuit, Y.1
Rauzy, A.2
Signoret, J.-P.3
-
14
-
-
33746067113
-
New complexity results for classical planning benchmarks
-
M. Helmert. New complexity results for classical planning benchmarks. In International Conference on Automated Planning and Scheduling ICAPS'06, The English Lake District, Cumbria, UK, June 2006, pages 52-61, 2006.
-
(2006)
International Conference on Automated Planning and Scheduling ICAPS'06, The English Lake District, Cumbria, UK, June 2006
, pp. 52-61
-
-
Helmert, M.1
-
17
-
-
33751048407
-
Efficient interactive configuration of unboundedmodular systems
-
E. van der Meer, A. Wa̧sowski, and H. R. Andersen. Efficient interactive configuration of unboundedmodular systems. In ACM Symposiomon Applied Computing (SAC'06), Dijon, France, 2006.
-
ACM Symposiomon Applied Computing (SAC'06), Dijon, France, 2006
-
-
Van Der Meer, E.1
Wa̧sowski, A.2
Andersen, H.R.3
-
20
-
-
26444573061
-
Comparing two implementations of a complete and backtrack-free interactive configurator
-
S. Subbarayan, R. M. Jensen, T. Hadzic, H. R. Andersen, H. Hulgaard, and J. Møller. Comparing two implementations of a complete and backtrack-free interactive configurator. In CP'04 CSPIA Workshop, pages 97-111, 2004.
-
(2004)
CP'04 CSPIA Workshop
, pp. 97-111
-
-
Subbarayan, S.1
Jensen, R.M.2
Hadzic, T.3
Andersen, H.R.4
Hulgaard, H.5
Møller, J.6
|