The Minisat 01 was a satellite developed in Spain as a means to kickstart its space program. The project started in 1990 and was funded by both the Inter-Ministerial...

into the ZYpp stack; the solver algorithms used were based on the popular minisat solver. The SAT solver implementation as it appears in openSUSE 11.0 is...

using the ones from Gando. In 1997, Gando Air Base was used to launch the Minisat 01 satellite and it was proposed as an alternative to El Hierro Launch...

Gamma-Ray Imager (LEGRI) was a payload for the first mission of the Spanish MINISAT platform, and active from 1997 to 2002. The objective of LEGRI was to demonstrate...

Technology: Jovian Minisat Explorer TRS: Technology Reference Studies "Jovian Minisat Explorer". sci.esa.int. Retrieved 2018-07-02. "Jovian Minisat Explorer"....

O'Neill and 21 other people, was launched into Earth orbit as part of the Minisat 01 mission aboard a Pegasus XL rocket from a location near the Canary Islands...

SAT competitions, implementations based around DPLL such as zChaff and MiniSat were in the first places of the competitions in 2004 and 2005. Another...

actually have an easy instance inside).[citation needed] The conflict-driven MiniSAT, which was relatively successful at the 2005 SAT competition, only has...

21 April 1997 11:59:06 XL (L-1011) Gando Air Base, Gran Canaria, Spain Minisat 01, Celestis space burial 587.0 x 587.0 km @ 151.01° i 562.6 x 581.7 km...

main application of CDCL algorithm is in different SAT solvers including: MiniSAT Zchaff SAT Z3 Glucose ManySAT etc. The CDCL algorithm has made SAT solvers...

the field of small satellites from 20 kg to 150 kg started in 1997 after MiniSat-1 launch, to keep running internat space activities at INTA. The systems...

Retrieved January 2, 2007. Atzei, Alessandro (April 27, 2007). "Jovian Minisat Explorer". ESA. Archived from the original on February 29, 2012. Retrieved...

Satellite Technology 150 kg 300 kg 23.5 1 Operational 2011 2011 SSTL-400 (Minisat-400) United Kingdom Surrey Satellite Technology 400 kg 1 Retired 1999 1999...

Explorer-1 Prime and RAX-2. M-Cubed, short for Michigan Multipurpose Minisat, was designed as a technology demonstrator for a new FPGA-based image processing...

Operational 21 April 11:59 Pegasus-XL Stargazer, Gando Orbital Sciences Minisat-01 INTA Low Earth Technology development 26 February 2002 Successful Celestis...

2012). "Pulsar Observations and the Structure of Local Ism". Science with Minisat 01. Springer Science & Business Media. pp. 227–. ISBN 978-94-010-0686-6...

site for the Capricornio rocket, in development by that time, and the Minisat 01 satellite. The proposed project had opposition from environmental organizations...

that would later be used in several of INTA's satellites (such as the Minisat 01 ETRV and the Nanosat 01 ACS). The 5 following test would focus on geodesic...

satellite programs, starting with the Intasat Program, continuing with the Minisat program which was a qualitative leap in the 90's, and continuing up to...