XOR local search for Boolean Brent equations
type: Item
instance of: scholarly article
title: XOR local search for Boolean Brent equations
DOI: 10.1007/978-3-030-80223-3_29
author: Wojciech Nawrocki
author: Zhenjun Liu
author: Andreas Fröhlich
author: Marijn J. H. Heule
author: Armin Biere
publication date: 2022-03-22T00:00:00Z
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68R07
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 7495589
describes a project that uses: CCASat
describes a project that uses: NLocalSAT
describes a project that uses: CrystalBall
describes a project that uses: Plingeling
describes a project that uses: Lingeling
describes a project that uses: CaDiCaL
describes a project that uses: YalSAT
describes a project that uses: FourierSAT
describes a project that uses: MiniSat
describes a project that uses: Walksat
describes a project that uses: CCAnr
describes a project that uses: Treengeling
MaRDI profile type: Publication
full work available at URL: 978-3-030-80223-3 29
OpenAlex ID: W3185975600
cites work: Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses
cites work: Improving Stochastic Local Search for SAT with a New Probability Distribution
cites work: Choosing Probability Distributions for Stochastic Local Search and the Role of Make versus Break
cites work: Algebraic Cryptanalysis of the Round-Reduced and Side Channel Analysis of the Full PRINTCipher-48
cites work: CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability
cites work: Local search for Boolean satisfiability with configuration checking and subscore
cites work: Theory and Applications of Satisfiability Testing
cites work: Incremental inprocessing in SAT solving
cites work: Generalising unit-refutation completeness and SLUR via nested input resolution
cites work: Local search for fast matrix multiplication
cites work: New ways to multiply \(3 \times 3\)-matrices
cites work: Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
cites work: Neighbourhood Clause Weight Redistribution in Local Search for SAT
cites work: Reconstructing Solutions after Blocked Clause Elimination
cites work: Inprocessing Rules
cites work: Q5687271
cites work: Tinted, detached, and lazy CNF-XOR solving and its applications to counting and sampling
cites work: CrystalBall: gazing in the black box of SAT solving
description: scientific article; zbMATH DE number 7495589