Proving consistency assertions for automotive product data management
From MaRDI portal
Publication:1977755
DOI10.1023/A:1006370506164zbMath0968.68042OpenAlexW1583236823MaRDI QIDQ1977755
Wolfgang Küchlin, Carsten Sinz
Publication date: 1 May 2001
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1006370506164
Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Unnamed Item ⋮ Visualizing SAT instances and runs of the DPLL algorithm ⋮ A methodology for modeling inter-company supply chains and for evaluating a method of integrated product and process documentation
