(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