THEORY AND APPLICATIONS OF SATISFIABILITY TESTING. 29TH 2026. (SAT 2026)

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING. 29TH 2026. (SAT 2026)

Item #:
085795
Our Price: $170.00
Adding to cart… The item has been added

Details

  • Title: 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026)
  • Date/Location: Held 20-23 July 2026, Lisbon, Portugal.
  • Series: Leibniz International Proceedings in Informatics Volume 377
  • Editor: Ignatiev, A. and Szeider, S.
  • ISBN: 9798331338916
  • Pages: 730 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Aug 2026 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026)
  • Date/Location: Held 20-23 July 2026, Lisbon, Portugal.
  • Series: Leibniz International Proceedings in Informatics Volume 377
  • Editor: Ignatiev, A. and Szeider, S.
  • ISBN: 9798331338916
  • Pages: 730 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Aug 2026 )