Artificial Intelligence: Foundations, Theory, and Algorithms - Decision Diagrams for Optimization
Latest Publications

TOTAL DOCUMENTS

11
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer International Publishing

9783319428475, 9783319428499
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Recursive Modeling

2016 ◽  
pp. 137-156
Author(s):  
David Bergman ◽  
Andre A. Cire ◽  
Willem-Jan van Hoeve ◽  
John Hooker
Keyword(s):  
Recursive Modeling

Introduction

2016 ◽  
pp. 1-9
Author(s):  
David Bergman ◽  
Andre A. Cire ◽  
Willem-Jan van Hoeve ◽  
John Hooker

Variable Ordering

2016 ◽  
pp. 123-136
Author(s):  
David Bergman ◽  
Andre A. Cire ◽  
Willem-Jan van Hoeve ◽  
John Hooker
Keyword(s):  
Variable Ordering

MDD-Based Constraint Programming

2016 ◽  
pp. 157-181
Author(s):  
David Bergman ◽  
Andre A. Cire ◽  
Willem-Jan van Hoeve ◽  
John Hooker
Keyword(s):  
Constraint Programming

Branch-and-Bound Based on Decision Diagrams

2016 ◽  
pp. 95-122
Author(s):  
David Bergman ◽  
Andre A. Cire ◽  
Willem-Jan van Hoeve ◽  
John Hooker
Keyword(s):  
Branch And Bound ◽  
Decision Diagrams

Exact Decision Diagrams

2016 ◽  
pp. 23-54
Author(s):  
David Bergman ◽  
Andre A. Cire ◽  
Willem-Jan van Hoeve ◽  
John Hooker
Keyword(s):  
Decision Diagrams

MDD Propagation for sequence Constraints

2016 ◽  
pp. 183-204 ◽  
Author(s):  
David Bergman ◽  
Andre A. Cire ◽  
Willem-Jan van Hoeve ◽  
John Hooker
Keyword(s):  
Sequence Constraints

Restricted Decision Diagrams

2016 ◽  
pp. 83-94
Author(s):  
David Bergman ◽  
Andre A. Cire ◽  
Willem-Jan van Hoeve ◽  
John Hooker
Keyword(s):  
Decision Diagrams

Relaxed Decision Diagrams

2016 ◽  
pp. 55-81
Author(s):  
David Bergman ◽  
Andre A. Cire ◽  
Willem-Jan van Hoeve ◽  
John Hooker
Keyword(s):  
Decision Diagrams
Load More ...
Sign in / Sign up

Export Citation Format

Share Document