home.social

#satsolver — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #satsolver, aggregated by home.social.

  1. shnarazk :rust: :nixos: 🎄 @[email protected] ·

    Cadical 2.1.3 built as an upcomming Nix package solves T56.2.0.cnf in 147.2 sec.
    Cadical 1.9.5 installed by elan as a part of Lean-4.16.0 binary pack does in 111.0 sec.
    Hmm, the Nix version does not seem to be applied some optimizations. A pretty big difference. (My solver solves it in 245.2 sec.)

    #nixpkgs #Lean4 #SATsolver #cadical

    #cadical #nixpkgs #lean4 #satsolver
  2. Dominik @[email protected] ·

    Don't call it portfolio #SATsolver! In our latest journal article, we show that getting clause sharing right leads to scalable distributed #SATSolving even if all solver threads are initially identical. This motivates us to drop the prior portfolio-centric intuition for parallel SAT and to rather adopt the term "clause-sharing (SAT) solver" going forward. doi.org/10.1613/jair.1.15827 #AutomatedReasoning #KIT #SAT #HPC

    #satsolver #satsolving #automatedreasoning #kit #sat #hpc
  3. scinexx - das wissensmagazin @[email protected] ·

    Neuer Lösungsansatz für mathematische SAT-Probleme. Methode erlaubt effizientere Lösung von Erfüllbarkeitsproblemen in KI und Softwareentwicklung. #Mathematik #Algorithmus #SATSolver #KI
    scinexx.de/news/technik/neuer-

    #mathematik #algorithmus #satsolver #ki
  4. scinexx - das wissensmagazin @[email protected] ·

    Neuer Lösungsansatz für mathematische SAT-Probleme. Methode erlaubt effizientere Lösung von Erfüllbarkeitsproblemen in KI und Softwareentwicklung. #Mathematik #Algorithmus #SATSolver #KI
    scinexx.de/news/technik/neuer-

    #mathematik #algorithmus #satsolver #ki
  5. scinexx - das wissensmagazin @[email protected] ·

    Neuer Lösungsansatz für mathematische SAT-Probleme. Methode erlaubt effizientere Lösung von Erfüllbarkeitsproblemen in KI und Softwareentwicklung. #Mathematik #Algorithmus #SATSolver #KI
    scinexx.de/news/technik/neuer-

    #mathematik #algorithmus #satsolver #ki
  6. scinexx - das wissensmagazin @[email protected] ·

    Neuer Lösungsansatz für mathematische SAT-Probleme. Methode erlaubt effizientere Lösung von Erfüllbarkeitsproblemen in KI und Softwareentwicklung. #Mathematik #Algorithmus #SATSolver #KI
    scinexx.de/news/technik/neuer-

    #ki #satsolver #algorithmus #mathematik
  7. sofia ☮️🏴 @[email protected] ·

    oooh, i get it! this is a whole thing:

    basically you translate problems into the form of the boolean satisfiability problem (SAT) and there are SAT-solvers that can do very clever shortcuts.

    and yes, it seems the solvers tend to be open source. 🎉

    invidio.us/watch?v=d76e4hV1iJY

    en.wikipedia.org/wiki/Boolean_

    #satSolver #symbolicAi

    #symbolicai #satsolver