Εμφανίζονται 1 - 20 Αποτελέσματα από 23 για την αναζήτηση '"Boolean satisfiability"', χρόνος αναζήτησης: 0,12δλ Περιορισμός αποτελεσμάτων
  1. 1
    Υλοποίηση διαδικτυακού προσομοιωτή για αλγορίθμους επίλυσης προβλημάτων SAT
    ανά Χαρατσάρης, Δημήτριος
    Έκδοση 2013
    Θέματα: “…Boolean satisfiability problem…”
    Λήψη πλήρους κειμένου
    Thesis
  2. 2
    Bridging Constraint Satisfaction and Boolean Satisfiability
    ανά Petke, Justyna
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    High Quality Test Pattern Generation and Boolean Satisfiability
    ανά Eggersglüß, Stephan, Drechsler, Rolf
    Έκδοση 2012
    Πίνακας περιεχομένων: “…Part I: Preliminaries and Previous Work -- Circuits and Testing -- Boolean Satisfiability -- ATPG…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Παραμετροποίηση στοχαστικών μεθόδων εξόρυξης γνώσης από δεδομένα, μετασχηματισμού συμβολοσειρών και τεχνικών συμπερασματικού λογικού προγραμματισμού
    ανά Λύρας, Δημήτριος
    Έκδοση 2011
    Θέματα: “…Boolean satisfiability…”
    Λήψη πλήρους κειμένου
    Thesis
  5. 5
    Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs /
    ανά Gulati, Kanupriya, Khatri, Sunil P.
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Model -- Control Dominated Category -- Accelerating Boolean Satisfiability on a Custom IC…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Advanced Techniques in Logic Synthesis, Optimizations and Applications
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Test Pattern Generation using Boolean Proof Engines
    Πίνακας περιεχομένων: “…Preliminaries -- Boolean Satisfiability -- SAT-Based ATPG -- Learning Techniques -- Multiple-Valued…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    SAT 2005 Satisfiability Research in the Year 2005 /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Literal Elimination -- Clause Weighting Local Search for SAT -- Solving Non-Boolean Satisfiability…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks /
    ανά Lin, Pey-Chang Kent, Khatri, Sunil P.
    Έκδοση 2014
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Towards a Design Flow for Reversible Logic
    ανά Wille, Robert, Drechsler, Rolf
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Computer Aided Verification 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings /
    Έκδοση 2000
    Πίνακας περιεχομένων: “… Protocol Analysis -- Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… -- The Connectivity of Boolean Satisfiability -- Randomized communication complexity of approximating Kolmogorov…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Survey Propagation on Graphics Processing Units -- Characterizing Propagation Methods for Boolean…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Resolution for Stochastic Boolean Satisfiability -- Symbolic Automata Constraint Solving.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Abstract Programs as Boolean Satisfiability -- Efficient Communication Scheduling Methods for Irregular…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2013 /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… Programming Formulation Of Boolean Satisfiability Problem -- 23 Optimization Of Path For Water Transmission…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Solvers -- FPGA Logic Synthesis Using Quantified Boolean Satisfiability -- On Applying Cutting Planes…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Automated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “… Certification - System Description - -- CADE-CAV Invited Talk -- The Quest for Efficient Boolean Satisfiability…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    STACS 98 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… logic and complete sets -- The (parallel) approximability of non-boolean satisfiability problems…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email