Report copyright - Oaxaca, Mexico Theory and Practice of SAT solving Jo ... · test if swap r ↔ σ(r) is a symmetry by syntactical check on φ if success, extend M with σ(r) 3. Use Saucy to extend
Please pass captcha verification before submit form
Please pass captcha verification before submit form