Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Olaf Beyersdorff, Armin Biere, Vijay Ganesh, Jakob Nordström, Andy Oertel. Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411). Dagstuhl Reports, 12(10):84-105, October 2022. [doi]

This author has not been identified. Look up 'Olaf Beyersdorff' in GoogleThis author has not been identified. Look up 'Armin Biere' in GoogleThis author has not been identified. Look up 'Vijay Ganesh' in GoogleThis author has not been identified. Look up 'Jakob Nordström' in GoogleThis author has not been identified. Look up 'Andy Oertel' in Google

runs on WebDSL