1252 search results - page 1 / 251 » Minimizing Learned Clauses |
SAT
2009
Springer
13 years 11 months ago
2009
Springer
Minimizing learned clauses is an effective technique to reduce memory usage and also speed up solving time. It has been implemented in MINISAT since 2005 and is now adopted by mos...
CAIP
1993
Springer
13 years 9 months ago
1993
Springer
IJCAI
1993
13 years 6 months ago
1993
literal: Let p be a proposition. Then p and -p are literals. clause: A clause is a disjunction of literals. Horn Clause: A Horn Clause is a clause in which there is at most one po...
IJCAI
1997
13 years 6 months ago
1997
We investigate an improvement to GSAT which associates a weight with each clause. We change the objective function so that GSAT moves to assignments maximizing the weight of satis...
ANLP
2000
13 years 6 months ago
2000
This paper proposes a statistical method for learning dependency preference of Japanese subordinate clauses, in which scope embedding preference of subordinate clauses is exploite...