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
SAT Solvers, SMT, Optimization, Declarative Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
13
posts in
6.3
ms
Answer
Set
Programming
for Egg Extraction and More
🧮
Datalog
Content type:
Academic
arxiv.org
·
21h
21 hours ago
Actions for Answer Set Programming for Egg Extraction and More
SAT-Physical
Thermodynamic Framework: treating
constraints
as a thermal system
⚛️
Physics
Content type:
Code
github.com
·
4d
4 days ago
·
Hacker News
Actions for SAT-Physical Thermodynamic Framework: treating constraints as a thermal system
Proof System Timelines
✓
Formal Verification
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
AI Innovations: The New Frontier of Decision-Making and Security
✨
Algebraic Effects
Content type:
Blog
medium.com
·
2d
2 days ago
Actions for AI Innovations: The New Frontier of Decision-Making and Security
Less-relevant results
Introducing Soteria: A New Generation of Static Analysis for Rust
⚙️
Program Synthesis
Content type:
Blog
soteria-tools.com
·
10h
10 hours ago
·
Hacker News
Actions for Introducing Soteria: A New Generation of Static Analysis for Rust
Better decisions at scale: How mathematical
optimization
delivers where intuition fails
🎯
Constraint Programming
Content type:
Blog
aws.amazon.com
·
2d
2 days ago
Actions for Better decisions at scale: How mathematical optimization delivers where intuition fails
Property-based testing | Liam DeVoe
✅
Property Testing
tybug.dev
·
2d
2 days ago
·
Hacker News
Actions for Property-based testing | Liam DeVoe
Event Calculus Meets Hybrid ASP
🔍
Prolog
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Event Calculus Meets Hybrid ASP
book-assets/supplements/function-sets.md
at master ·
logicforprogrammers/book-assets
λ
Functional Programming
Content type:
Code
github.com
·
5d
5 days ago
Actions for book-assets/supplements/function-sets.md at master · logicforprogrammers/book-assets
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
Exploring the landscape of compact magic-state distillation factories
🔍
Refinement Types
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Exploring the landscape of compact magic-state distillation factories
Solving
Zebra Puzzles Using
Constraint-Guided
Multi-Agent Systems
🧩
SMT Solvers
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Solving Zebra Puzzles Using Constraint-Guided Multi-Agent Systems
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