Formula partitioning revisited

Dividing a Boolean formula into smaller independent sub-formulae can be a useful technique for accelerating the solution of Boolean problems, including SAT and #SAT. Nevertheless, and despite promising early results, formula partitioning is hardly used in state-of-the-art solvers. In this paper, we show that this is rooted in a lack of consistency of the usefulness of formula partitioning techniques. In particular, we evaluate two existing and a novel partitioning model, coupled with two existing and two novel partitioning algorithms, on a wide range of benchmark instances. Our results show that there is no one-size-fits-all solution: for different formula types, different partitioning models and algorithms are the most suitable. While these results might seem negative, they help to improve our understanding about formula partitioning; moreover, the findings also give guidance as to which method to use for what kinds of formulae

Predicting algorithmic complexity through structure analysis and compression

The complexity of an algorithm is usually specified by the maximum number of steps made by the algorithm, as a function of the size of the input. However, as different inputs of equal size can yield dramatically different algorithm runtime, the size of the input is not always an appropriate basis for predicting algorithm runtime. In this paper, we argue that the compressed size of the input is more appropriate for this purpose. In particular, we devise a genetic algorithm for compressing a graph by finding the most compact description of its structure, and we demonstrate how the compressed size of the problem instance correlates with the runtime of an exact algorithm for two hard combinatorial problems (graph coloring and Boolean satisfiability)

Computational identification of obligatorily autocatalytic replicators embedded in metabolic networks

Small-molecular metabolic autocatalytic regulators, which are crucial to metabolic pathways, are identified in a novel systems-wide study in different organisms, revealing that in the enzymatic reactions of conserved autocatalytic cycles, the autocatalytic behavior of replicators varies

Arduino fejlesztői platformmal vezérelt pontmátrix nyomtató

Napjainkban egyre nagyobb teret hódít az újrahasznosítás. A környezet megóvásában fontos szerepet játszik az anyagok és eszközök újra felhasználása, feldolgozása. Gazdaságossági szempontok is indokolják, hogy a már nem üzemképes eszközöket, vagy azok alkatrészeit felhasználva új, működőképes tárgyakat, gépeket hozzunk létre. Ezeket szem előtt tartva került megvalósításra a projekt. A használaton kívüli CD/DVD olvasó, illetve régi nyomtató alkatrészeinek felhasználásával

Atmel mikrokontroller vezérelt kültéri meteorológia állomás tervezése

A hőmérséklet mérése a mai világban elengedhetetlen, de legalább ugyanilyen fontosságú a páratartalom vagy a légnyomás pontos meghatározása. Szükség van ezen értékek pontos ismeretére a mindennapokban, például meteorológiai előrejelzések esetén. Mint ismert a klímaváltozás következtében komoly viharkárok keletkeznek, ennek megelőzése kulcsfontosságú. A hőmérséklet & páratartalom mérése az üvegházak üzemeltetésében is kiemelt prioritású a mezőgazdaságokban. Az Atmel mikrokontroller alapú kültéri mérő szenzor a meteorológiai értékek pontos meghatározásának a céljából készült el

Raspberry Pi 3 Linux SmartMirror megtervezése és megvalósítása

Az innovációnak egyre fontosabb szerepe van a hazai márkák és cégek versenyképességének a megőrzésében. A multinacionális cégek ma már egyértelműen ebben látják a sikerekhez vezető utat. Az innováció a legfontosabb hívó szó nem csak a Magyar hanem az egész európai gazdaságban. Egyre inkább eszmélnek rá a cégek, hogyha amennyiben a fejlesztésekre nem költenek nagyságrendekkel nagyobb pénzt akkor annál nagyobb lesz a lemaradás, például. Magyarország eddig is jelentős eredményeket ért el az innováció területén. A digitális technológia szerepe és lehetőségei a társadalmi viszonyok alakításában, a jövő foglalkozásai, valamint a munkaerőpiac változása olyan tényezők, amelyek a nemzetgazdaság egészét átalakítják a következő időszakban

A software-rel kapcsolatos alapvető szabályok nemzetközi aspektusból - különös tekintettel a német jogi megoldásokra

Competion in the field of Informational Techonology influences our everyday life; a competion realized in a global playground, not reduced into a national framework. Joining the discussion around optimal software protection, we introduce some foreign software regulations in our essay from different given aspects, and finally we analyse German legal solutions regarding softwares. Observation of foreign regulations related to softwares and their protection is needed because there are still a lot of unanswered questions around software as a legal instrument. Inadequacy of copyright to serve protection of softwares and the need to create sui generis protection come up in the latest researches. Furthermore, the number of inventions supported by IT and the number of software supported technological solutions increase in our days, and that moves this legal instrument into the field of patent jurisdictions and industrial property. Efficient legal protection is both a tool and a goal in the system, since elaboration and support of genuine ideas are priority interests. According to our opinion, it is not only the task but also the obligation of private law – as the law regulating basic rights of natural persons and legal entities in personal and financial context – to set up proper regulation in this system.</jats:p