4 skills found
Kapilhk / SatPieSAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay
Project-File / Vehicle Identification Speed DetectionVehicle Identification Speed Detection (VISD) extracts vehicle information like License Plate number, Manufacturer and colour from a video and provides this data in the form of a CSV file. VISD can also perform vehicle speed detection on a video. All these features of VSID are provided to the user using a Web Application which is created using Flask
Gameagle / VSIDvSID is a small plugin for Euroscope which helps / automates in setting SIDs in flightplans
JLiangWaterloo / VsidsExperimental code and results for the paper titled "Understanding VSIDS Branching Heuristic in CDCL SAT Solvers"
