Symmetric explanation learning: effective dynamic symmetry handling for SAT
From MaRDI portal
Publication:1680245
DOI10.1007/978-3-319-66263-3_6zbMath1496.68366OpenAlexW2742197492MaRDI QIDQ1680245
Bart Bogaerts, Maurice Bruynooghe, Jo Devriendt
Publication date: 15 November 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-66263-3_6
Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (3)
On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers ⋮ Unnamed Item ⋮ An adaptive prefix-assignment technique for symmetry reduction
Uses Software
This page was built for publication: Symmetric explanation learning: effective dynamic symmetry handling for SAT