Questions
Linux
Laravel
Mysql
Ubuntu
Git
Menu
HTML
CSS
JAVASCRIPT
SQL
PYTHON
PHP
BOOTSTRAP
JAVA
JQUERY
R
React
Kotlin
×
Linux
Laravel
Mysql
Ubuntu
Git
New posts in sat
Suggestion of an efficient SAT solver with good C++ interface (or: is Z3 good for me)?
Nov 10, 2022
c++
z3
sat
Brute-force Prolog SAT solver for boolean formulas
Oct 21, 2022
prolog
sat
clpb
How to use Picat to create CNF files from Minizinc files?
Oct 17, 2022
constraint-programming
minizinc
sat
picat
Finding the first UIP in an inference graph
Oct 17, 2022
algorithm
graph-theory
graph-algorithm
sat
Flow Shop to Boolean satisfiability [Polynomial-time reduction]
Aug 30, 2022
algorithm
optimization
reduction
sat
SMT solver with custom theories?
May 04, 2021
z3
verification
smt
formal-verification
sat
SMT/SAT Solver vs Model Checker
Oct 31, 2022
solver
smt
model-checking
sat
What is the most elegant way to find 16-bit numbers which satisfy some conditions?
Nov 06, 2022
prolog
constraint-programming
sat
logic-programming
clpb
Complex Boolean expression optimization, normal forms?
Sep 14, 2022
optimization
expression
boolean-expression
sat
SAT solving with more than 2^32 clauses
Apr 01, 2022
c
integer-overflow
sat-solvers
sat
K-out-of-N constraint in Z3Py
Apr 01, 2022
z3
z3py
sat
Class Scheduling to Boolean satisfiability [Polynomial-time reduction]
Aug 22, 2022
c
algorithm
scheduling
reduction
sat