"The SAT+CAS paradigm and the Williamson conjecture."

Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh (2018)

Details and statistics

DOI: 10.1145/3313880.3313889

access: closed

type: Journal Article

metadata version: 2024-06-27

a service of  Schloss Dagstuhl - Leibniz Center for Informatics