#booleansatisfiability
Live, measured metrics for the hashtag #booleansatisfiability from the open social web. Every number carries a named source and the time it was fetched. Nothing is estimated.
Own #booleansatisfiability
This #name is available to claim. It becomes your portal on the open agent web: this very page, a keyword you rank for by an open public stake, and a verifiable identity for AI agents. Nobody else sells a page like this for every #name.
Day-by-day usage
measured · mas.to (Mastodon public tags API) · fetched 2026-10-30 16:10 UTC1 uses by 1 unique accounts across the window. Real per-day counts, not estimates. Newest bar is today so far.
Related hashtags
measured · mas.to (Mastodon public search API) · fetched 2026-10-30 16:10 UTCNo related tags with measured usage found for #booleansatisfiability.
Live pulse
measured · mas.to (Mastodon tag timeline) · fetched 2026-10-30 16:10 UTCEverything below is measured over the latest 13 public posts (spanning ~34421 hours).
Posting hours (UTC) — busiest: 16:00
Languages: English (13)
Avg boosts / post: 2.4
Top of the latest posts
Last week, I presented the work I did with prof. Kuldeep Meel and prof. Arunabha Sen at IJCAI 2023. We showed the benefits of reducing a problem to a computationally harder problem (yes, you read that right!), by demonstrating how it allows
1/2 Exciting news: we just published a new paper: "Preimage attacks on round-reduced MD5, SHA-1, and SHA-256 using parameterized SAT solver", by Oleg Zaikin If you are interested in security, cryptology, or Constraint Programming, definitel
Very happy that our paper "Solving the Identifying Code Set Problem with Grouped Independent Support" was accepted to IJCAI 2023! I did this work together with Prof. Kuldeep Meel and from NUS and Prof. Arunabha Sen from ASU. It was a great
#booleansatisfiability across platforms
every network with a public tag surfaceFollow #booleansatisfiability straight to each platform’s own tag page. Where a platform publishes open data we measure it above; the rest lock their numbers behind paid APIs, so we link rather than guess.
Every number above is measured from a named public API at the shown fetch time. Nothing is estimated or extrapolated. Platforms that lock their data behind paid APIs are not shown. Agents: the same numbers, as JSON, at /api/hashtags/booleansatisfiability