Boolean satisfiability problem

Creator

Creator

Alan Jo

Created

Created

2020 Nov 19 13:20

Editor

Editor

Alan Jo

Edited

Edited

2022 Feb 17 16:2

Refs

Refs

SAT

어떠한 변수들로 이루어진 논리식이 주어졌을 때, 그 논리식이 참이 되는 변수값이 존재하는지를 찾는 문제

Recommendations

////