Computing propositional minimal models: minisat-based approaches

Publication
Journal of Computer Research and Development

Add the full text or supplementary notes for the publication here using Markdown formatting.