(19)
(11)
EP 3 545 473 A1
(12)
(43)
Date of publication:
02.10.2019
Bulletin 2019/40
(21)
Application number:
18704466.4
(22)
Date of filing:
31.01.2018
(51)
International Patent Classification (IPC):
G06N
5/00
(2006.01)
(86)
International application number:
PCT/EP2018/052333
(87)
International publication number:
WO 2018/141763
(
09.08.2018
Gazette 2018/32)
(84)
Designated Contracting States:
AL AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL NO PL PT RO RS SE SI SK SM TR
Designated Extension States:
BA ME
Designated Validation States:
MA MD TN
(30)
Priority:
06.02.2017
AT 500922017
(71)
Applicant:
Siemens AG Österreich
1210 Wien (AT)
(72)
Inventor:
TAUPE, Richard
1160 Wien (AT)
(74)
Representative:
Maier, Daniel Oliver
Siemens AG Postfach 22 16 34
80506 München
80506 München (DE)
(54)
BRANCHING HEURISTICS FOR AN LAZY-GROUNDING-BASED ASP SOLVER