A reasoning method for timed CSP based on constraint solving

University course timetabling with soft constraints

Hana Rudová
Keith Murray

January 2003

Abstract. An extension of constraint logic programming that allows for weighted partial satisfaction...

K.: University course timetabling with soft constraints

Keith Murray

January 2003

Abstract. An extension of constraint logic programming that allows for weighted partial satisfaction...

A knowledge-based modeling system for time-critical dynamic decision-making

Xiang, Y.
Poh, K.-L.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Type processing by constraint reasoning

Stuckey, P.J.
Sulzmann, M.
Wazny, J.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Constraint-based program reasoning with heaps and separation

Duck, G.J.
Jaffar, J.
Koh, N.C.H.

January 2013

10.1007/978-3-642-40627-0_24Lecture Notes in Computer Science (including subseries Lecture Notes in ...

A CLP method for compositional and intermittent predicate abstraction

Jaffar, J.
Santosa, A.E.
Voicu, R.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A CLP approach to modelling systems

Jaffar, J.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Verifying stateful timed CSP using implicit clocks and zone abstraction

Sun, J.
Liu, Y.
Dong, J.S.
Zhang, X.

January 2009

10.1007/978-3-642-10373-5_30Lecture Notes in Computer Science (including subseries Lecture Notes in ...

A probing approach for effective distributed resource reservation

Yuan, L.
Tham, C.-K.
Ananda, A.L.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Observable confluence for constraint handling rules

Duck, G.J.
Stuckey, P.J.
Sulzmann, M.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

University Course Timetable using Constraint Satisfaction and Optimization

Tarek El-sakka

August 2016

Timetable problem is a well-known multidimensional, constraint assignment problem that focuses in th...

Timed vs. Time-triggered automata

Krčál, P.
Mokrushin, L.
Thiagarajan, P.S.
Yi, W.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Incorporating Constraint-Based Reasoning and Genetic Algorithm for Solving a Course-Timetabling Problem

Chia-Lin Hsieh

出處：The 6th Annual International Conference on Industrial Engineering Theory-Theory, Applications and...

University Course Timetabling with Soft Constraints

Hana Rudova
Keith Murray

January 2002

An extension of constraint logic programming that allows for weighted partial satisfaction of soft ...

A machine learning approach for the duration of biomedical literature

Shi, M.
Edwin, D.S.
Menon, R.
Shen, L.
Lim, J.Y.K.
Loh, H.T.
Keerthi, S.S.
Ong, C.J.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

University course timetabling with soft constraints

Hana Rudová
Keith Murray

January 2003

Abstract. An extension of constraint logic programming that allows for weighted partial satisfaction...

K.: University course timetabling with soft constraints

Keith Murray

January 2003

Abstract. An extension of constraint logic programming that allows for weighted partial satisfaction...

A knowledge-based modeling system for time-critical dynamic decision-making

Xiang, Y.
Poh, K.-L.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Type processing by constraint reasoning

Stuckey, P.J.
Sulzmann, M.
Wazny, J.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Constraint-based program reasoning with heaps and separation

Duck, G.J.
Jaffar, J.
Koh, N.C.H.

January 2013

10.1007/978-3-642-40627-0_24Lecture Notes in Computer Science (including subseries Lecture Notes in ...

A CLP method for compositional and intermittent predicate abstraction

Jaffar, J.
Santosa, A.E.
Voicu, R.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A CLP approach to modelling systems

Jaffar, J.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Verifying stateful timed CSP using implicit clocks and zone abstraction

Sun, J.
Liu, Y.
Dong, J.S.
Zhang, X.

January 2009

10.1007/978-3-642-10373-5_30Lecture Notes in Computer Science (including subseries Lecture Notes in ...

A probing approach for effective distributed resource reservation

Yuan, L.
Tham, C.-K.
Ananda, A.L.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Observable confluence for constraint handling rules

Duck, G.J.
Stuckey, P.J.
Sulzmann, M.

January 2007

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

University Course Timetable using Constraint Satisfaction and Optimization

Tarek El-sakka

August 2016

Timetable problem is a well-known multidimensional, constraint assignment problem that focuses in th...

Timed vs. Time-triggered automata

Krčál, P.
Mokrushin, L.
Thiagarajan, P.S.
Yi, W.

January 2004

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

Incorporating Constraint-Based Reasoning and Genetic Algorithm for Solving a Course-Timetabling Problem

Chia-Lin Hsieh

出處：The 6th Annual International Conference on Industrial Engineering Theory-Theory, Applications and...

University Course Timetabling with Soft Constraints

Hana Rudova
Keith Murray

January 2002

An extension of constraint logic programming that allows for weighted partial satisfaction of soft ...

A machine learning approach for the duration of biomedical literature

Shi, M.
Edwin, D.S.
Menon, R.
Shen, L.
Lim, J.Y.K.
Loh, H.T.
Keerthi, S.S.
Ong, C.J.

January 2003

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

University course timetabling with soft constraints

Hana Rudová
Keith Murray

January 2003

Abstract. An extension of constraint logic programming that allows for weighted partial satisfaction...

K.: University course timetabling with soft constraints

Keith Murray

January 2003

Abstract. An extension of constraint logic programming that allows for weighted partial satisfaction...

A knowledge-based modeling system for time-critical dynamic decision-making

Xiang, Y.
Poh, K.-L.

January 2006

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and ...

A reasoning method for timed CSP based on constraint solving

Abstract

Extracted data

A reasoning method for timed CSP based on constraint solving

Abstract

Extracted data

Related items

Related items