Feedback

X
Automated Reasoning

Automated Reasoning

0 Ungluers have Faved this Work
Find on Google Books Find on OpenLibrary Find on LibraryThing
This open access book, IJCAR 2022 proceedings, present the latest research on topics such as SAT; SMT and QBF; decision procedures.

Why read this book? Have your say.

You must be logged in to comment.

Links

web: https://link.springer.com/book/10.1007/978-3-031-10769-6

Editions

edition cover
Contributors: Jasmin Blanchette, Laura Kovács, Dirk Pattinson,
paper.
Publisher: Springer
Published: 2022
ISBN: 9783031107689
edition cover
Contributors: Jasmin Blanchette, Laura Kovács, Dirk Pattinson,
electronic.
2 ebooks
Publisher: Springer
Published: 2022
ISBN: 9783031107696
edition cover
Contributors: Jasmin Blanchette, Laura Kovács, Dirk Pattinson,
Publisher: Springer Nature
Published: 2022
See this edition on Google Books
Download

Share

Copy/paste this into your site: