Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient
From MaRDI portal
Publication:2045943
DOI10.1016/j.cnsns.2021.105908OpenAlexW3172995018MaRDI QIDQ2045943
Hideyuki Suzuki, Hiroshi Yamashita, Kazuyuki Aihara
Publication date: 16 August 2021
Published in: Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.cnsns.2021.105908
Mathematical programming (90Cxx) Artificial intelligence (68Txx) Probabilistic methods, stochastic differential equations (65Cxx)
Uses Software
Cites Work
- Unnamed Item
- The Zig-Zag Process and Super-Efficient Sampling for Bayesian Analysis of Big Data
- The Bouncy Particle Sampler: A Non-Reversible Rejection-Free Markov Chain Monte Carlo Method
- Clause weighting local search for SAT
- Hamiltonian-conserving discrete canonical equations based on variational difference quotients
- A discrete Lagrangian-based global-search method for solving satisfiability problems
- On the equivalence between SOR-type methods for linear systems and the discrete gradient methods for gradient systems
- Timescales of Boolean satisfiability solver using continuous-time dynamical system
- Time integration and discrete Hamiltonian systems
- CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability
- On Upstream Differencing and Godunov-Type Schemes for Hyperbolic Conservation Laws
- Geometric integration using discrete gradients
- Improving Stochastic Local Search for SAT with a New Probability Distribution
- Variational Image Regularization with Euler's Elastica Using a Discrete Gradient Scheme
- Discrete gradient methods for solving variational image regularisation models
This page was built for publication: Accelerating numerical simulation of continuous-time Boolean satisfiability solver using discrete gradient
