Bogaerts, Bart, 19..-....
VIAF ID: 244161272166647441824 ( Personal )
Permalink: http://viaf.org/viaf/244161272166647441824
Preferred Forms
Works
Title | Sources |
---|---|
Exploitation of dynamic symmetries for solving SAT problems. |
Title | Sources |
---|---|
Exploitation of dynamic symmetries for solving SAT problems. |