본문으로 건너뛰기

위키 홈

SAT solver

2025-07-17

목차

(맨 위로)

SAT을 풀어주는 알고리즘.

관련 글

AI 에이전트를 위한 테스크 큐
Alloy Analyzer
Decision problem
Easy Approach to Requirements Syntax
First-order logic
Hammerspoon CLI script
Model-driven testing
Observable Notebook
v0
경량 형식적 방법론
내가 구독한 주제 목록에 기반한 내 소개
좁은 범위 가설
충족 가능성 문제
파이어베이스 스튜디오
프로그래밍은 비인간적이다

관련 책

Practical Alloy: A hands-on guide to formal software design
Software Abstractions: Logic, Language, and Analysis
The Essence of Software

관련 논문

On the Effectiveness of Large Language Models in Writing Alloy Formulas

관련 소프트웨어

반구조적 소프트웨어 명세서 (s4)

2026 © ak | markdown