Książki na temat „Propositional satisfiability”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 26 najlepszych książek naukowych na temat „Propositional satisfiability”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj książki z różnych dziedzin i twórz odpowiednie bibliografie.
Harris, J. G. Approaches to the satisfiability problem of propositional logic. Manchester: UMIST, 1994.
Znajdź pełny tekst źródłaIntroduction to mathematics of satisfiability. Boca Raton: Taylor & Francis, 2009.
Znajdź pełny tekst źródłaDingzhu, Du, Gu Jun 1956-, Pardalos P. M. 1954- i NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science., red. Satisfiability problem: Theory and applications : DIMACS workshop, March 11-13, 1996. Providence, R.I: American Mathematical Society, 1997.
Znajdź pełny tekst źródłaSAT 2007 (2007 Lisbon, Portugal). Theory and applications of satisfiability testing: SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings. Berlin: Springer, 2007.
Znajdź pełny tekst źródłaH, Kleine Büning, i Zhao Xishun, red. Theory and applications of satisfiability testing--SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings. Berlin: Springer, 2008.
Znajdź pełny tekst źródłaSAT 2010 (2010 Edinburgh, UK). Theory and applications of satisfiability testing-- SAT 2010: 13th international conference, SAT 2010 Edinburgh, UK, July 2010 : proceedings. Berlin: Springer, 2010.
Znajdź pełny tekst źródłaSakallah, Karem A. Theory and Applications of Satisfiability Testing - SAT 2011: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.
Znajdź pełny tekst źródłaTheodor, Lettman, red. Propositional logic: Deduction and algorithms. Cambridge [England]: Cambridge University Press, 1999.
Znajdź pełny tekst źródłaThomas, Schiex, red. Intelligence artificielle et informatique théorique. Toulouse: Cépaduès-éd., 1994.
Znajdź pełny tekst źródłaThe satisfiability problem. Amsterdam: Elsevier, 1999.
Znajdź pełny tekst źródłaWalsh, Toby, i Enrico Giunchiglia. Sat 2005: Satisfiability Research in the Year 2005. Springer Netherlands, 2014.
Znajdź pełny tekst źródłaWalsh, Toby, i Enrico Giunchiglia. Sat 2005: Satisfiability Research in the Year 2005. Springer London, Limited, 2007.
Znajdź pełny tekst źródła(Editor), Enrico Giunchiglia, i Toby Walsh (Editor), red. SAT 2005: Satisfiability Research in the Year 2005. Springer, 2006.
Znajdź pełny tekst źródłavan, Dieter Melkebeek. A Survey of Lower Bounds for Satisfiability and Related Problems. Now Publishers Inc, 2007.
Znajdź pełny tekst źródłaHandbook of Satisfiability Frontiers in Artificial Intelligence and Applications. IOS Press, 2009.
Znajdź pełny tekst źródła(Editor), Ian Gent, Ian Gentles (Editor), Hans Van Maaren (Editor) i Toby Walsh (Editor), red. SAT2000: Highlights of Satisfiability Research in the Year 2000 (Frontiers in Artificial Intelligence and Applications, V. 63). Ios Pr Inc, 2000.
Znajdź pełny tekst źródłaWalsh, Toby, i Fahiem Bacchus. Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings. Springer London, Limited, 2005.
Znajdź pełny tekst źródła(Editor), Fahiem Bacchus, i Toby Walsh (Editor), red. Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings (Lecture Notes in Computer Science). Springer, 2005.
Znajdź pełny tekst źródłaGiunchiglia, Enrico, i Armando Tacchella. Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers. Springer London, Limited, 2004.
Znajdź pełny tekst źródłaTheory and Applications of Satisfiability Testing SAT 2009 Lecture Notes in Computer Science. Springer, 2009.
Znajdź pełny tekst źródła(Editor), Enrico Giunchiglia, i Armando Tacchella (Editor), red. Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003Selected Revised Papers (Lecture Notes in Computer Science). Springer, 2004.
Znajdź pełny tekst źródłaBiere, Armin, i Carla P. Gomes. Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings. Springer London, Limited, 2006.
Znajdź pełny tekst źródła(Editor), Joao Marques-Silva, i Karem A. Sakallah (Editor), red. Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture Notes in Computer Science). Springer, 2007.
Znajdź pełny tekst źródła(Editor), Armin Biere, i Carla P. Gomes (Editor), red. Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science). Springer, 2006.
Znajdź pełny tekst źródła(Editor), Holger H. Hoos, i David G. Mitchell (Editor), red. Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers (Lecture Notes in Computer Science). Springer, 2005.
Znajdź pełny tekst źródłaBüning, Hans Kleine, i Theodor Lettmann. Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, 1999.
Znajdź pełny tekst źródła