Solving Difference Constraints over Modular Arithmetic
From MaRDI portal
Publication:4928440
DOI10.1007/978-3-642-38574-2_15zbMath1381.68267WikidataQ57665002 ScholiaQ57665002MaRDI QIDQ4928440
Harald Søndergaard, Peter J. Stuckey, Peter Schachte, Graeme Gange
Publication date: 14 June 2013
Published in: Automated Deduction – CADE-24 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-38574-2_15
03B70: Logic in computer science
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
Related Items
Uses Software