A B C D E F G H I J L M N O P R S T U V W X

F

FALSE - Static variable in class org.sat4j.reader.ExtendedDimacsReader
 
FirstUIP - Class in org.sat4j.minisat.uip
FirstUIP scheme introduced in Chaff.
FirstUIP() - Constructor for class org.sat4j.minisat.uip.FirstUIP
 
FixedLengthLearning - Class in org.sat4j.minisat.learning
A learning scheme for learning constraints of size smaller than a given constant.
FixedLengthLearning(int) - Constructor for class org.sat4j.minisat.learning.FixedLengthLearning
 

A B C D E F G H I J L M N O P R S T U V W X