|
|
You can sort by any column. Just click on column's title. To sort in descending order - click once more.
| Views | Cover | Author | Title | Published | Format | Updated | Thank_to |
2047725 | 147 | | Armin Biere | Handbook of Satisfiability (Frontiers in Artificial Intelligence and Applications, 336) | 2021 | pdf | 1/28/2023 12:16:40 AM | tvladb77 |
1451079 | 99 | | Stephan Eggersglu? | High Quality Test Pattern Generation and Boolean Satisfiability | 2012 | pdf | 11/11/2021 9:56:47 AM | tvladb77 |
1520246 | 115 | | Robert Nieuwenhuis | Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings | 2009 | PDF | 12/30/2020 1:59:40 AM | petra19 |
1837934 | 112 | | troduction to mathematics of satisfiability By Victor W. Marek | Introduction to mathematics of satisfiability | 2009 | PDF | 11/1/2020 5:22:54 AM | alex21s |
1778200 | 68 | | Luca Pulina, Martina Seidl | Theory and Applications of Satisfiability Testing SAT 2020: 23rd International Conference, Alghero, Italy, July 59, 2020, Proceedings | 2020-09-17 | pdf | 7/2/2020 7:22:57 AM | maveriks |
1762186 | 37 | | Justyna Petke, Petke, Justyna | Bridging Constraint Satisfaction and Boolean Satisfiability (Artificial Intelligence: Foundations, Theory, and Algorithms) | August 11, 2015 | pdf | 5/30/2020 9:13:42 AM | maveriks |
1596947 | 49 | | Carsten Sinz, Uwe Egly (eds.) | Theory and Applications of Satisfiability Testing SAT 2014: 17th International Conference, Held as Part of the Vienna Summer | 2018 | PDF | 8/29/2019 12:35:07 AM | Gustavi |
1562984 | 73 | | MikolГЎЕЎ Janota, InГЄs Lynce | Theory and Applications of Satisfiability Testing SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 712, 2019, Proceedings | 2019-08-24 | pdf | 6/30/2019 6:53:31 AM | maveriks |
1543689 | 59 | | eory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, | Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June | 2019 | PDF | 5/17/2019 4:16:21 PM | topron |
1542977 | 59 | | Olaf Beyersdorff, Christoph M. Wintersteiger | Theory and Applications of Satisfiability Testing SAT 2018 (Lecture Notes in Computer Science) | June 26, 2018 | pdf | 5/16/2019 10:53:41 AM | maveriks |
|
|
|
|