home.social
Sign in Create account

#sat_solvers — Public Fediverse posts

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

  1. José A. Alonso @[email protected] ·

    Readings shared May 8, 2025. jaalonso.github.io/vestigium/p #ATP #Autoformalization #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math #Programming #SAT_solvers #Z3

    #z3 #sat_solvers #programming #math #leanprover #llms
  2. José A. Alonso @[email protected] ·

    SAT-solving the poset cover problem. ~ Chih-Cheng Rex Yuan, Bow-Yaw Wang. arxiv.org/abs/2505.04013 #ATP #SAT_solvers #Z3

    #z3 #sat_solvers #atp