Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic - MaRDI portal

Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic

From MaRDI portal

Publication:5891705

Jump to:navigation, search

DOI10.2168/LMCS-8(3:3)2012zbMath1256.68138MaRDI QIDQ5891705

Alberto Griggio, Thi Thieu Hoa le, Roberto Sebastiani

Publication date: 15 August 2012

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

zbMATH Keywords

model checking Craig interpolation SMT decision procedure interpolation algorithm interpolant generation linear arithmetic over the integers

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Uses Software

This page was built for publication: Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5891705&oldid=15868521"

Pages with script errors