satisfiability.org/SAT23/index.html

Preview meta tags from the satisfiability.org website.

Linked Hostnames

7

Thumbnail

Search Engine Appearance

Google

https://satisfiability.org/SAT23/index.html

SAT 2023

The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), Model Counting, and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning.



Bing

SAT 2023

https://satisfiability.org/SAT23/index.html

The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), Model Counting, and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning.



DuckDuckGo

https://satisfiability.org/SAT23/index.html

SAT 2023

The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), Model Counting, and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning.

  • General Meta Tags

    4
    • title
      SAT 2023 - SAT 2023
    • charset
      utf-8
    • description
      The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), Model Counting, and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning.
    • viewport
      width=device-width, initial-scale=1.0

  • Open Graph Meta Tags

    7
    • og:type
      website
    • US country flagog:locale
      en_US
    • og:site_name
      SAT 2023
    • og:title
      SAT 2023
    • og:url
      http://satisfiability.org/SAT23/

  • Item Prop Meta Tags

    1
    • headline
      SAT 2023

  • Link Tags

    3
    • canonical
      http://satisfiability.org/SAT23/
    • preload
      https://cdn.jsdelivr.net/npm/@fortawesome/fontawesome-free@5/css/all.min.css
    • stylesheet
      /SAT23/assets/css/main.css

Links

20