Model Generation with Boolean Constraints

DOI10.1007/3-540-45653-8_20zbMath1275.68126OpenAlexW1489547336MaRDI QIDQ2996169

Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Publication date: 6 May 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2324/1515730

Mathematics Subject Classification ID

Uses Software

• B-Prolog
• HARP

This page was built for publication: Model Generation with Boolean Constraints