max-sat

There are 9 repositories under max-sat topic.

  • marekpiotrow/UWrMaxSat

    UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main tracks (weighted and unweighted). In MaxSAT Evaluation 2020 it won the weighted main track. It has been created recently at the University of Wrocław. It is a complete solver for partial weighted MaxSAT instances and pseudo-Boolean ones. It incrementally uses COMiniSatPS by Chanseok Oh (2016) as an underlying SAT solver, but may be compiled with other MiniSat-like solvers. It was developed on the top of our PB-solver (called kp-minisatp) that was presented at Pragmatics of SAT 2018 and which is an extension of the well-known MiniSat+ solver. In its main configuration, UWrMaxSat applies an unsatisfiability-core-based OLL procedure and uses the kp-minisatp sorter-based pseudo-Boolean constraint encoding to translate new cardinality constraints into CNF.

    Language:C++20293

  • thtran97/Local-Search-for-SAT

    Implementation of local search-based algorithms for solving SAT and Max-SAT in Python

    Language:Python13213

  • GhazaleZe/Artificial-Intelligence

    codes of my IUT course

    Language:Python6201

  • ellietoulabi/Artificial-Intelligence-Problems

    Solving some AI Problems

    Language:Python2201

  • MohammadYasinKarbasian/MAX-SAT-solver

    My MAX-SAT solver uses stochastic local search, tabu search, and simulated annealing.

    Language:Python2101

  • Narges-Mntzr/Artificial-Intelligence-Problems

    Solution of artificial intelligence course exercises in isfahan university of technology (IUT) .

    Language:Python1200

  • theresa77/wiggle-minimization

    Implementation to master thesis about minimizing wiggles in storyline visualizations

    Language:Java1200

  • zvadaadam/3SAT

    Language:Python1100

  • harshad-p/max-sat-solver

    A parallel program for solving unweighted MAX-SAT problems.

    Language:Java0200