2 papers
cs.AI2025
Pseudo-Boolean Proof Logging for Optimal Classical Planning
Simon Dold, Malte Helmert, Jakob Nordström +2
We introduce lower-bound certificates for classical planning tasks, which can be used to prove the unsolvability of a task or the optimality of a plan in a way that can be verified…
physics.chem-ph2024
Ultrafast Nuclear Dynamics in Double-Core Ionized Water Molecules
Iyas Ismail, Ludger Inhester, Tatiana Marchenko +30
Double-core-hole (DCH) states in isolated water and heavy water molecules, resulting from the sequential absorption of two x-ray photons, have been investigated. A comparison of th…