Counting Models in Integer Domains

DOI10.1007/11814948_37zbMath1187.90202OpenAlexW1571334244MaRDI QIDQ5756568

Antonio Morgado, Paulo Rogério Faustino Matos, João P. Marques-Silva, Vasco M. Manquinho

Publication date: 4 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://eprints.soton.ac.uk/262431/1/jpms-sat06c.pdf

Mathematics Subject Classification ID

Integer programming (90C10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Counting Solutions of Integer Programs Using Unrestricted Subtree Detection

This page was built for publication: Counting Models in Integer Domains