Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Pombo, Carlos Gustavo Lopez
Moscato, Mariano M
López Pombo, Carlos G
Frias, Marcelo F

status

published

publication date

2010

has subject area

Artificial Intelligence & Image Processing (Science Metrix)

published in

Lecture Notes in Computer Science Journal

presented at event

7th International Colloquium Theoretical Aspects of Computing Conference