Sums of squares, satisfiability and maximum satisfiability

H van Maaren, L van Norden

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

8 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationTheory and applications of satisfiability testing
EditorsF Bacchus, T Walsh
Place of PublicationBerlin
PublisherSpringer
Pages294-308
Number of pages15
ISBN (Print)3-540-26276-8
Publication statusPublished - 2005
EventEighth International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland - Berlin
Duration: 19 Jun 200523 Jun 2005

Publication series

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

Conference

ConferenceEighth International Conference on Theory and Applications of Satisfiability Testing, St. Andrews, Scotland
Period19/06/0523/06/05

Keywords

  • Wiskunde en Informatica
  • Techniek
  • technische Wiskunde en Informatica
  • conference contrib. refereed
  • ZX CWTS JFIS < 1.00

Cite this