Home Biblio

Satisfiability of Boolean formulas over linear constraints

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
BibTex:
[Bibtex] [RIS] [MODS]
English (United Kingdom)