2 results
Combining satisfiability techniques from AI and OR
-
- Journal:
- The Knowledge Engineering Review / Volume 15 / Issue 1 / March 2000
- Published online by Cambridge University Press:
- 06 March 2012, pp. 31-45
-
- Article
- Export citation
Contributors
-
-
- Book:
- Organ Transplantation
- Published online:
- 07 September 2011
- Print publication:
- 11 August 2011, pp vii-x
-
- Chapter
- Export citation