# created by /home/wf/.local/pipx/venvs/pyceurspt/lib/python3.12/site-packages/ceurspt/ceurws.py
CREATE
# P31  :instance of  Q13442814:scholarly article
LAST|P31|Q13442814
# P1433: published in 
LAST|P1433|None
# english label
LAST|Len|"Improving Local Search and Adding DDFW to CaDiCaL"
# english description
LAST|Den|"scientific paper published in CEUR-WS Volume 4289"
# P1476:title
LAST|P1476|en:"Improving Local Search and Adding DDFW to CaDiCaL"
# P407 :language of work or name  Q1860:English
LAST|P407|Q1860
# P953 :full work available at URL
LAST|P953|"https://ceur-ws.org/Vol-4289/paper5.pdf"
# P577 :publication date
LAST|P577|+2026-10-09T00:00:00Z/11
# P2093: author name string, P1545: series ordinal
LAST|P2093|"Florian Pollitt"|P1545|"1"
# P2093: author name string, P1545: series ordinal
LAST|P2093|"Mathias Fleury"|P1545|"2"
# P2093: author name string, P1545: series ordinal
LAST|P2093|"André Schidler"|P1545|"3"
# P2093: author name string, P1545: series ordinal
LAST|P2093|"Armin Biere"|P1545|"4"
# P2093: author name string, P1545: series ordinal
LAST|P2093|"Johannes Gröber"|P1545|"5"
# P2093: author name string, P1545: series ordinal
LAST|P2093|"Jakob Peterson"|P1545|"6"
# P2093: author name string, P1545: series ordinal
LAST|P2093|"Rico Andris"|P1545|"7"
# P2093: author name string, P1545: series ordinal
LAST|P2093|"Lea Hohl"|P1545|"8"