Debugging unsatisfiable constraint models
type: Item
instance of: scholarly article
title: Debugging unsatisfiable constraint models
zbMATH Open document ID: 1489.68254
DOI: 10.1007/978-3-319-59776-8_7
author: Kevin Leo
author: Guido Tack
publication date: 2017-08-04T00:00:00Z
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 6756577
describes a project that uses: MiniZinc
describes a project that uses: CSPLib
MaRDI profile type: Publication
full work available at URL: 978-3-319-59776-8 7
OpenAlex ID: W2618380584
cites work: The resource-constrained modulo scheduling problem: an experimental study
cites work: Finding a Collection of MUSes Incrementally
cites work: Identifying Minimally Infeasible Subsystems of Inequalities
cites work: Enumerating Infeasibility: Finding Multiple MUSes Quickly
cites work: Fast, flexible MUS enumeration
cites work: Algorithms for computing minimal unsatisfiable subsets of constraints
cites work: Irreducibly inconsistent systems of linear inequalities
cites work: Generating Corrective Explanations for Interactive Constraint Satisfaction
cites work: Propagation = Lazy Clause Generation
cites work: Philosophy of the MiniZinc challenge
description: scientific article; zbMATH DE number 6756577