Optimal Implementation of Watched Literals and More General Techniques
From MaRDI portal
Publication:2859022
DOI10.1613/jair.4016zbMath1277.68247OpenAlexW2149445267MaRDI QIDQ2859022
Publication date: 6 November 2013
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1613/jair.4016
Related Items
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing ⋮ STR3: a path-optimal filtering algorithm for table constraints
Uses Software
This page was built for publication: Optimal Implementation of Watched Literals and More General Techniques
