Project

General

Profile

Actions
Copy link

Homework #1581

open

DPLL Method

Added by Dajana Rexhaj over 1 year ago. Updated over 1 year ago.

Status:
New
Priority:
Normal
Assignee:
Dajana Rexhaj
Start date:
06/14/2023
Due date:
06/23/2023 (about 18 months late)
% Done:

50%

Estimated time:

Description

Create test cases for DPLL method just like in DLIS. Try different cases, clauses with a lot of variables, clauses with no input at all. Check again the assignments of the variables.

Actions
Copy link

Also available in: Atom PDF