Satisfiability of Boolean formulas over linear
                   constraints

BibTex:
Research Area:	Uncategorized	Year:	1993
Type of Publication:	In Proceedings	Keywords:	contraintes linéaires, simplex, disjonctions
Authors:	Beringer, Henri de Backer, Bruno

Book title:	ijcai93p
Pages:	296-301
Address:	ijcai93l
Month:	August


@conference{Beringer93, author = "Henri Beringer and de Backer, Bruno", address = "ijcai93l", booktitle = "ijcai93p", keywords = "contraintes lin{\'e}aires, simplex, disjonctions", month = "aug", pages = "296--301", title = "{S}atisfiability of {B}oolean formulas over linear constraints", year = "1993", }
[Bibtex] [RIS] [MODS]

COST FUNCTION