11 skills found
go-air / GiniA fast SAT solver
shaowei-cai-group / X SATAn advanced circuit-based sat solver
panhomyoung / PhySATSemi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
polylog-cs / Np CompletenessVideo about NP-completeness, circuit SAT and "reversing time"
ohadlev77 / Sat Circuits EngineA Python-Qiskit-based package that provides capabilities of easily generating, executing and analyzing quantum circuits for satisfiability problems according to user-defined constraints. The circuits being generated by the program are based on Grover's algorithm and its amplitude-amplification generalization.
ycunxi / Incremental SAT DeCamProject website of Incremental-SAT based De-camouflaging of logic circuits
nbulsi / CirsatA circuit-based Boolean satisfiability (SAT) solver
alexanderskulikov / Circuit SynthesisFinding Efficient Circuits Using SAT-solvers
samee / NetlistA simple circuit library for easy generation of large complicated SAT queries or garbled circuits
mzuzak / StatSAT AttackThe code for the Statistical SAT attack for logic-locked probabilistic circuits
SV1GZL / SV1GZL LYKOURGOSLIOUNIS LYKOURGOS DIMOSTHENOUS 3 NEW FILADELFIA-ATHENS GREECE Label Postcard Email: Show SV1GZL's email address VHF/UHF (FM, SSB, WSJT-MS-Scatter, Satellite AO40, Packet, Echolink) abt. 200Watt 2x10Elem. CrossYagi, 2x19Elem.X-yagi, X7000 on UHF,SHF (FM, ATV, SAT AO40 Mode-S) on 461THz Red LASER Communication (AM,FM,PSK,PUA43) 650nm, 5mWatt ..more than 55km ODX Bio last modified: 2006-04-27MEMBER OF FOREST PROTECT ORGANIZATION I.O.T.A. & EMERGENCY AMATEUR TEAM OF GREECE D-STAR Bands: 2 meters, 430/440 MHz / 70cm, VHF, UHF Activities: Aeronautical operations, Backpacking operations, Bicycle operations, Community service, County hunting, Emergency operations, Field day, Frequency coordination, Fox hunting, Hamfests, Horse mobile, Kit building, Maritime operations, Meteor scatter, Mobile operations, Moonbounce EME, Motorcycle mobile, Mountain topping, Official Bulletin Station, Official Observer Station, Portable operation, Programming (computers), Public service, QRP, Radio Controlled Model Craft, Rag chewing, Recreational vehicles, Search & rescue, Shortwave listening, Skywarn, SporadicE, Traffic Handling, VHF weak signal Operating: AM, AMTOR, APRS, ATV, Clover, Coherent CW, Contests, CW, Digital modes, DX, DXPeditioning, FlexNet, FM, G-TOR, Grid squares, Internet, IOTA, KISS, Lighthouse Operations, Lightning protection, LOFER, Logging programs, Low band DXing, Multimode, Packet, Paperchasing (Certificates), PACTOR, PSK31, QSLing, ROSE, RTTY, Spread spectrum, SSB, SSTV, TCP/IP, TheNET, TOR, WEFAX Equipment: Antique/collector radios, Batteries, Boatanchors, Computers, Construction of equipment, EMI elimination, Filters, Gas generators, Homebrewed equipment, Integrated circuits, Key collecting, Keyboard CW, Keyers, Linear amplifiers, Military radios, Power supplies, Repeaters, Restoring equipment, Scanners, Solar power, Station accessories, Straight Keys, Test equipment, TNC's, Transceivers, Transformers, Transistors, UPS backup, Vacuum tubes Antennas/Propagation: Antenna tuners, Baluns, Balloon-supported antennas, Beam antennas, Coaxial cable, Dipole antennas, Dish antennas, Duplexers, Loop antennas, Meteor scatter, MININEC, Mobile antennas, Multi-band antennas, Propagation, Quad antennas, Rotators, Sun spots, SWR measurement, Vertical antennas, Wattmeters, Wire antennas, Yagi antennas Education: Exams, Learning CW, Safety, Schooling, Teaching (Elmer) Organizations you are interested in: American Red Cross, AWA, AMRAD, ARES, ARRL, AURORA, Club meetings, Club newsletters, DARC, FCC, FISTS, FOC, IARU, ITU, MARS, OTC, OOTC, QCWA, RA, RAC, RACES, Radio Club of America, RAFARS, Royal Navy ARS, RSARS, RSGB, SAREX, Scouting, SOWP, TAPR, United Nations, VE/VEC, YLRL Current Memberships: 10-10, AMSAT, ARRL, AWA, DARC, MARS, OOTC, QCWA, Radio Club of America, SOWP, TAPR Awards / Certificates you are interested in: DXCC, VUCC, WAC, WAS, WAZ Awards / Certificates you Currently Hold: DXCC, VUCC, WAC, WAS, WAZ Miscellaneous: Insurance for equipment, Vanity callsigns Publications: 73, CQ, Electric Radio, Monitoring Times, QST, Worldradio MEMBER OF SX5AS DXPEDITION ON ASTAKIDA ISLETS & LIGHTHOUSE ACTIVATION OPERATING TEAM 2007 MEMBER OF SY8V DXPEDITION ON LIGHTHOUSE KITHIRA/ANTIKITHIRA ACTIVATION OPERATING TEAM 2006 MEMBER OF SX8F DXPEDITION ON FALCONERA ISLET & LIGHTHOUSE ACTIVATION OPERATING TEAM 2006
