A linear programming based satisfiability solver using a new horn-driven search tree design

L van Norden, H van Maaren

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

Original languageUndefined/Unknown
Title of host publicationPrinciples and practice of constraint programming - CP 2002
EditorsP Van Hentenryck
Place of PublicationBerlin
PublisherSpringer
Pages775-776
Number of pages2
ISBN (Print)3-540-44120-4
Publication statusPublished - 2002
EventPrinciples and practice of constraint programming: 8th international conference - Berlin
Duration: 9 Sep 200213 Sep 2002

Publication series

Name
PublisherSpringer-Verlag
NameLecture Notes in Computer Science
Volume2470
ISSN (Print)0302-9743

Conference

ConferencePrinciples and practice of constraint programming: 8th international conference
Period9/09/0213/09/02

Keywords

  • Wiskunde en Informatica
  • Techniek
  • technische Wiskunde en Informatica
  • conference contrib. refereed
  • Geen BTA classificatie
  • ZX Int.klas.verslagjaar < 2002

Cite this