THEORY AND APPLICATIONS OF SATISFIABILITY TESTING. 28TH 2025. (SAT 2025)

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING. 28TH 2025. (SAT 2025)

Item #:
081493
Our Price: $135.00
Adding to cart… The item has been added

Details

  • Title: 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)
  • Date/Location: Held 12-15 August 2025, Glasgow, Scotland.
  • Series: Leibniz International Proceedings in Informatics Volume 341
  • Editor: Berg, J. and Nordstrom, J.
  • ISBN: 9798331325008
  • Pages: 568 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Aug 2025 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)
  • Date/Location: Held 12-15 August 2025, Glasgow, Scotland.
  • Series: Leibniz International Proceedings in Informatics Volume 341
  • Editor: Berg, J. and Nordstrom, J.
  • ISBN: 9798331325008
  • Pages: 568 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Aug 2025 )