Pages that link to "Item:Q1977755"
From MaRDI portal
The following pages link to Proving consistency assertions for automotive product data management (Q1977755):
Displaying 4 items.
- Visualizing SAT instances and runs of the DPLL algorithm (Q2462641) (← links)
- A methodology for modeling inter-company supply chains and for evaluating a method of integrated product and process documentation (Q2572872) (← links)
- PaSAT -- parallel SAT-checking with lemma exchange: Implementation and applications (Q2741526) (← links)
- Proving consistency assertions for automotive product data management (Q2749865) (← links)