Uniform Reduction to SAT

@article{Janicic2010UniformRT,
  title={Uniform Reduction to SAT},
  author={Predrag Janicic},
  journal={Logical Methods in Computer Science},
  year={2010},
  volume={8}
}

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

Similar Papers

Loading similar papers…