fzn2smt

swMATH13501MaRDI QIDQ25415FDOQ25415

Author name not available (Why is that?)

Described by source

• Solving constraint satisfaction problems with SAT modulo theories

Cited In (3)

• A constraint-based local search backend for MiniZinc
• MiningZinc: a declarative framework for constraint-based mining
• URSA: A System for Uniform Reduction to SAT

This page was built for software: fzn2smt