THEORY AND APPLICATIONS OF SATISFIABILITY TESTING. 26TH 2023. (SAT 2023)

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING. 26TH 2023. (SAT 2023)

Item #:
071390
Our Price: $130.00
Adding to cart… The item has been added

Details

  • Title: 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
  • Date/Location: Held 4-8 July 2023, Alghero, Italy.
  • Series: Leibniz International Proceedings in Informatics Volume 271
  • Editor: Mahajan, M. and Slivovsky, F.
  • ISBN: 9781713881445
  • Pages: 522 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Dec 2023 )

Description

 

Members/Attendees

 

Tab 4

 
  • Title: 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023)
  • Date/Location: Held 4-8 July 2023, Alghero, Italy.
  • Series: Leibniz International Proceedings in Informatics Volume 271
  • Editor: Mahajan, M. and Slivovsky, F.
  • ISBN: 9781713881445
  • Pages: 522 (1 Vol) (approx)
  • Format: Softcover
  • Publisher: Schloss Dagstuhl
  • POD Publisher: Curran Associates, Inc. ( Dec 2023 )