Conflict-Driven XOR-Clause Learning

DOI10.1007/978-3-642-31612-8_29zbMath1273.68322arXiv1407.6571OpenAlexW136158981MaRDI QIDQ2843342

Tero Laitinen, Tommi Junttila, Ilkka Niemelä

Publication date: 12 August 2013

Published in: Theory and Applications of Satisfiability Testing – SAT 2012 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1407.6571

Mathematics Subject Classification ID

Cryptography (94A60) Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)

Related Items (2)

A game characterisation of tree-like Q-resolution size ⋮ Logical cryptanalysis with WDSat

This page was built for publication: Conflict-Driven XOR-Clause Learning