Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Constraint Solving
🔗 Constraint Solving
constraint satisfaction, CSP, SMT solver, Z3
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
34
posts in
7.2
ms
Parallel
SMT
Solving
via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
🧩
SMT Solvers
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Online Backbone Detection
bmc4j/bmc4j: Bounded
model
checking
for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
✅
Formal Verification
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test
(
PR
) Rosewill Launches the FBM-Z Series Micro-ATX Cases
🧩
SMT Solvers
techpowerup.com
·
15h
15 hours ago
Actions for (PR) Rosewill Launches the FBM-Z Series Micro-ATX Cases
Proof System Timelines
🧩
SMT Solvers
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Introducing Soteria: A New Generation of Static Analysis for Rust
🔍
Program Analysis
Content type:
Blog
soteria-tools.com
·
9h
9 hours ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
New comment by xk4rim in "Ask HN: Who wants to be hired? (June 2026)"
🔀
Concurrency Testing
Content type:
Discussion
news.ycombinator.com
·
6d
6 days ago
·
Hacker News
Actions for New comment by xk4rim in "Ask HN: Who wants to be hired? (June 2026)"
Build Your Own Bond Car: Aston Martin DB5 Replica
🧩
SMT Solvers
barnfinds.com
·
1d
1 day ago
Actions for Build Your Own Bond Car: Aston Martin DB5 Replica
AI Innovations: The New Frontier of Decision-Making and Security
🎯
Randomized Algorithms
Content type:
Blog
medium.com
·
2d
2 days ago
Actions for AI Innovations: The New Frontier of Decision-Making and Security
BMW Has A Secret American Car Collection You Cannot Visit
🧩
SMT Solvers
Content type:
Blog
autoblog.com
·
3d
3 days ago
Actions for BMW Has A Secret American Car Collection You Cannot Visit
Property-based testing | Liam DeVoe
🧪
Property Testing
tybug.dev
·
2d
2 days ago
·
Hacker News
Actions for Property-based testing | Liam DeVoe
Sketch-to-Layout: A Human-Centric Computational Agent for
Constraint-Aware
Synthesis of Modular Photobioreactors
📐
Computational Geometry
Content type:
Academic
arxiv.org
·
20h
20 hours ago
Actions for Sketch-to-Layout: A Human-Centric Computational Agent for Constraint-Aware Synthesis of Modular Photobioreactors
Better decisions at scale: How mathematical optimization delivers where intuition fails
🧮
Combinatorics
Content type:
Blog
aws.amazon.com
·
2d
2 days ago
Actions for Better decisions at scale: How mathematical optimization delivers where intuition fails
Research Proposal: Decoupled RISC-LLM Architectures via Circadian Synaptic Consolidation
🔀
Concurrency Testing
aermia.com
·
4d
4 days ago
·
Hacker News
Actions for Research Proposal: Decoupled RISC-LLM Architectures via Circadian Synaptic Consolidation
Introducing Waymo’s New Reference
Model
for Human Collision Avoidance
🔀
Concurrency Testing
Content type:
Blog
waymo.com
·
1d
1 day ago
·
Hacker News
Actions for Introducing Waymo’s New Reference Model for Human Collision Avoidance
News for May 2026 | Property Testing Review
🎯
Randomized Algorithms
ptreview.sublinear.info
·
3d
3 days ago
Actions for News for May 2026 | Property Testing Review
Less-relevant results
Show HN: JazzBench, an LLM reasoning benchmark using jazz improvisation
🎲
Fuzzing
Content type:
Blog
flatnine.co
·
1d
1 day ago
·
Hacker News
Actions for Show HN: JazzBench, an LLM reasoning benchmark using jazz improvisation
SAT-Physical
Thermodynamic Framework: treating
constraints
as a thermal system
⚙️
SAT Solving
Content type:
Code
github.com
·
4d
4 days ago
·
Hacker News
Actions for SAT-Physical Thermodynamic Framework: treating constraints as a thermal system
PL-KKT-hPINN: Enforcing Nonlinear Equality
Constraints
on Neural Networks via Piecewise-Linear Projection
🧩
SMT Solvers
Content type:
Academic
arxiv.org
·
20h
20 hours ago
Actions for PL-KKT-hPINN: Enforcing Nonlinear Equality Constraints on Neural Networks via Piecewise-Linear Projection
#401
🧮
Combinatorics
weeknotes.barrucadu.co.uk
·
4d
4 days ago
Actions for #401
The new Intel Arc G3-powered MSI Claw 8 EX AI+ makes my Steam Deck look like a Happy Meal toy by comparison — it’s time for an upgrade
🧩
SMT Solvers
techradar.com
·
5d
5 days ago
Actions for The new Intel Arc G3-powered MSI Claw 8 EX AI+ makes my Steam Deck look like a Happy Meal toy by comparison — it’s time for an upgrade
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help