Advanced Search Tips

ArgoSmArT

Submitted by on Nov 11 2014 Suggest Revision
From: University of Belgrade
Paper:
Resource Type:
Code
License:
Other/Unknown
Language:
C++
Data Format:

Description

A system for choosing suitable parameters' values for ArgoSAT solver. The system could be used for any SAT solver with minor modfications.
Post comment
Cancel