Mathematical programming embeddings of logic
type: Item
instance of: scholarly article
title: Mathematical programming embeddings of logic
zbMATH Open document ID: 1016.03013
DOI: 10.1023/A:1020521718123
author: Vivek Borkar
author: Vijay Chandru
author: Sanjoy K. Mitter
published in: Journal of Automated Reasoning
publication date: 2003-04-28T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 90C90
zbMATH DE Number: 1902325
zbMATH Keywords: automated theorem proving
zbMATH Keywords: predicate logic
zbMATH Keywords: mathematical programming
zbMATH Keywords: CLP(R)
MaRDI profile type: Publication
full work available at URL: a:1020521718123
OpenAlex ID: W1867198697
description: scientific article; zbMATH DE number 1902325