scientific article; zbMATH DE number 1882048

zbMath1007.68173MaRDI QIDQ4797424

Miroslaw Truszczynski, Deborah East

Publication date: 13 March 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2174/21740138.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques

This page was built for publication: