Αποτελέσματα για "SAT solver"

Αποτελέσματα για "SAT solver" Εμφανίζονται 1 - 50 Αποτελέσματα από 58 Laminas_Feed_Writer 2 (https://getlaminas.org) https://find.library.upatras.gr/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22SAT+solver%22&type=AllFields&lng=el 58 0 50 Algorithms for Computational Biology Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings / Thu, 01 Jan 2015 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-319-21233-3 https://find.library.upatras.gr/Record/978-3-319-21233-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Bridging Constraint Satisfaction and Boolean Satisfiability Thu, 01 Jan 2015 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-319-21810-6 https://find.library.upatras.gr/Record/978-3-319-21810-6 Petke, Justyna Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 Petke, Justyna 0 Theory and Applications of Satisfiability Testing – SAT 2016 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings / Fri, 01 Jan 2016 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-319-40970-2 https://find.library.upatras.gr/Record/978-3-319-40970-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Advances in Artificial Intelligence -- IBERAMIA 2004 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings / Thu, 01 Jan 2004 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-30498-2 https://find.library.upatras.gr/Record/978-3-540-30498-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Field-Programmable Logic and Applications 11th International Conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings / Mon, 01 Jan 2001 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-44687-3 https://find.library.upatras.gr/Record/978-3-540-44687-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2001 0 Formal Methods in Computer-Aided Design 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings / Thu, 01 Jan 2004 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-30494-4 https://find.library.upatras.gr/Record/978-3-540-30494-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings / Sat, 01 Jan 2000 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-40922-9 https://find.library.upatras.gr/Record/978-3-540-40922-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings / Sat, 01 Jan 2000 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-46419-8 https://find.library.upatras.gr/Record/978-3-540-46419-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2000 0 Algorithm Engineering Selected Results and Surveys / Fri, 01 Jan 2016 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-319-49487-6 https://find.library.upatras.gr/Record/978-3-319-49487-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2016 0 Υλοποίηση διαδικτυακού προσομοιωτή για αλγορίθμους επίλυσης προβλημάτων SAT Tue, 01 Jan 2013 05:10:40 +0200 https://find.library.upatras.gr/Record/nemertes-10889-5754 https://find.library.upatras.gr/Record/nemertes-10889-5754 Χαρατσάρης, Δημήτριος Thesis 2013 Χαρατσάρης, Δημήτριος 0 Theory and Applications of Satisfiability Testing -- SAT 2015 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / Thu, 01 Jan 2015 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-319-24318-4 https://find.library.upatras.gr/Record/978-3-319-24318-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2015 0 Theory and Applications of Satisfiability Testing 6th International Conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers / Thu, 01 Jan 2004 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-24605-3 https://find.library.upatras.gr/Record/978-3-540-24605-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Advanced Formal Verification Thu, 01 Jan 2004 05:10:40 +0200 https://find.library.upatras.gr/Record/978-1-4020-2530-3 https://find.library.upatras.gr/Record/978-1-4020-2530-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2004 0 Theory and Applications of Satisfiability Testing - SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings / Tue, 01 Jan 2019 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-030-24258-9 https://find.library.upatras.gr/Record/978-3-030-24258-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2019 0 Theory and Applications of Satisfiability Testing - SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings / Mon, 01 Jan 2018 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-319-94144-8 https://find.library.upatras.gr/Record/978-3-319-94144-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2018 0 Automata, Languages and Programming 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II / Tue, 01 Jan 2008 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-70583-3 https://find.library.upatras.gr/Record/978-3-540-70583-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings / Tue, 01 Jan 2008 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-71067-7 https://find.library.upatras.gr/Record/978-3-540-71067-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Reconfigurable Computing: Architectures, Tools and Applications Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Proceedings / Mon, 01 Jan 2007 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-71431-6 https://find.library.upatras.gr/Record/978-3-540-71431-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings / Mon, 01 Jan 2007 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-72788-0 https://find.library.upatras.gr/Record/978-3-540-72788-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / Wed, 01 Jan 2014 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-319-09284-3 https://find.library.upatras.gr/Record/978-3-319-09284-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2014 0 Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers / Sun, 01 Jan 2006 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-32605-2 https://find.library.upatras.gr/Record/978-3-540-32605-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings / Sun, 01 Jan 2006 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-33103-2 https://find.library.upatras.gr/Record/978-3-540-33103-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings / Sun, 01 Jan 2006 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-33144-5 https://find.library.upatras.gr/Record/978-3-540-33144-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings / Sun, 01 Jan 2006 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-37207-3 https://find.library.upatras.gr/Record/978-3-540-37207-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings / Thu, 01 Jan 2009 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-642-02777-2 https://find.library.upatras.gr/Record/978-3-642-02777-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0 Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / Sat, 01 Jan 2011 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-642-19835-9 https://find.library.upatras.gr/Record/978-3-642-19835-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2011 0 Tests and Proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings / Sat, 01 Jan 2011 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-642-21768-5 https://find.library.upatras.gr/Record/978-3-642-21768-5 Ηλεκτρονική πηγή Ηλ. βιβλίο 2011 0 Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings / Mon, 01 Jan 2018 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-030-01090-4 https://find.library.upatras.gr/Record/978-3-030-01090-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2018 0 Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / Mon, 01 Jan 2018 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-319-98334-9 https://find.library.upatras.gr/Record/978-3-319-98334-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2018 0 Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings / Thu, 01 Jan 2009 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-642-02906-6 https://find.library.upatras.gr/Record/978-3-642-02906-6 Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 0 Data Privacy Management and Autonomous Spontaneous Security 4th International Workshop, DPM 2009 and Second International Workshop, SETOP 2009, St. Malo, France, September 24-25, 2009, Revised Selected Papers / Fri, 01 Jan 2010 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-642-11207-2 https://find.library.upatras.gr/Record/978-3-642-11207-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / Fri, 01 Jan 2010 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-642-14186-7 https://find.library.upatras.gr/Record/978-3-642-14186-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings / Fri, 01 Jan 2010 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-642-14203-1 https://find.library.upatras.gr/Record/978-3-642-14203-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Finite-State Methods and Natural Language Processing 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers / Fri, 01 Jan 2010 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-642-14684-8 https://find.library.upatras.gr/Record/978-3-642-14684-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings / Fri, 01 Jan 2010 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-642-15274-0 https://find.library.upatras.gr/Record/978-3-642-15274-0 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Principles and Practice of Constraint Programming – CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings / Fri, 01 Jan 2010 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-642-15396-9 https://find.library.upatras.gr/Record/978-3-642-15396-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Grammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings / Fri, 01 Jan 2010 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-642-15488-1 https://find.library.upatras.gr/Record/978-3-642-15488-1 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings / Fri, 01 Jan 2010 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-642-15928-2 https://find.library.upatras.gr/Record/978-3-642-15928-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / Fri, 01 Jan 2010 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-642-16242-8 https://find.library.upatras.gr/Record/978-3-642-16242-8 Ηλεκτρονική πηγή Ηλ. βιβλίο 2010 0 Design, Automation, and Test in Europe The Most Influential Papers of 10 Years Date / Tue, 01 Jan 2008 05:10:40 +0200 https://find.library.upatras.gr/Record/978-1-4020-6488-3 https://find.library.upatras.gr/Record/978-1-4020-6488-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Human-Inspired Computing and Its Applications 13th Mexican International Conference on Artificial Intelligence, MICAI 2014, Tuxtla Gutiérrez, Mexico, November 16-22, 2014. Proceedings, Part I / Wed, 01 Jan 2014 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-319-13647-9 https://find.library.upatras.gr/Record/978-3-319-13647-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2014 0 Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers / Sat, 01 Jan 2005 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-31580-3 https://find.library.upatras.gr/Record/978-3-540-31580-3 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / Sat, 01 Jan 2005 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-31679-4 https://find.library.upatras.gr/Record/978-3-540-31679-4 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings / Sat, 01 Jan 2005 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-32030-2 https://find.library.upatras.gr/Record/978-3-540-32030-2 Ηλεκτρονική πηγή Ηλ. βιβλίο 2005 0 Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures / Sun, 01 Jan 2006 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-34305-9 https://find.library.upatras.gr/Record/978-3-540-34305-9 Ηλεκτρονική πηγή Ηλ. βιβλίο 2006 0 Decision Procedures An Algorithmic Point of View / Tue, 01 Jan 2008 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-74105-3 https://find.library.upatras.gr/Record/978-3-540-74105-3 Kroening, Daniel Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 Kroening, Daniel 0 Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings / Mon, 01 Jan 2007 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-74970-7 https://find.library.upatras.gr/Record/978-3-540-74970-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2007 0 Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings / Tue, 01 Jan 2008 05:10:40 +0200 https://find.library.upatras.gr/Record/978-3-540-79719-7 https://find.library.upatras.gr/Record/978-3-540-79719-7 Ηλεκτρονική πηγή Ηλ. βιβλίο 2008 0 Mathematical Logic for Computer Science Sun, 01 Jan 2012 05:10:40 +0200 https://find.library.upatras.gr/Record/978-1-4471-4129-7 https://find.library.upatras.gr/Record/978-1-4471-4129-7 Ben-Ari, Mordechai Ηλεκτρονική πηγή Ηλ. βιβλίο 2012 Ben-Ari, Mordechai 0 Algebraic Cryptanalysis Thu, 01 Jan 2009 05:10:40 +0200 https://find.library.upatras.gr/Record/978-0-387-88757-9 https://find.library.upatras.gr/Record/978-0-387-88757-9 Bard, Gregory V. Ηλεκτρονική πηγή Ηλ. βιβλίο 2009 Bard, Gregory V. 0