Filters








389 Hits in 6.7 sec

SAT-Solving in Practice, with a Tutorial Example from Supervisory Control

Koen Claessen, Niklas Een, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson
2009 Discrete event dynamic systems  
In this tutorial paper, we show briefly how such SAT-solvers are implemented, and point to some typical applications of them.  ...  Satisfiability solving, the problem of deciding whether the variables of a propositional formula can be assigned in such a way that the formula evaluates to true, is one of the classic problems in computer  ...  Acknowledgements The authors gratefully acknowledge Joao Marques-Silva for useful comments on earlier drafts of this paper, and Bengt Lennartson and Martin Fabian from the Signals and Systems Department  ... 
doi:10.1007/s10626-009-0081-8 fatcat:tcbfoa3xe5e2ziaaxkrgk2nija

SAT-solving in practice

Koen Claessen, Niklas Een, Mary Sheeran, Niklas Sorensson
2008 2008 9th International Workshop on Discrete Event Systems  
In this tutorial paper, we show briefly how such SAT-solvers are implemented, and point to some typical applications of them.  ...  Satisfiability solving, the problem of deciding whether the variables of a propositional formula can be assigned in such a way that the formula evaluates to true, is one of the classic problems in computer  ...  The authors gratefully acknowledge Joao Marques-Silva for useful comments on earlier drafts of this paper, and Bengt Lennartson and Martin Fabian from the Signals and Systems Department at Chalmers for  ... 
doi:10.1109/wodes.2008.4605923 fatcat:c3w2p5n2ena33aozdweue4eklq

Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 19-21, 2009

Kurt Jensen
2009 DAIMI Report Series  
The papers are also available in electronic form via the web pages: http://www.cs.au.dk/CPnets/events/workshop09  ...  This booklet contains the proceedings of the Tenth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 19-21, 2009.  ...  Nimrod Lilith, for support in developing some aspects of the model and for participation in many active discussions. The authors would also like to acknowledge Dr. Lisa Wells and Prof.  ... 
doi:10.7146/dpb.v38i590.7187 fatcat:t5yh5d4v7jbjjj7wghs2ba6ida

Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 22-24, 2007

Kurt Jensen
2007 DAIMI Report Series  
The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop07  ...  This booklet contains the proceedings of the Eighth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 22-24, 2007.  ...  Acknowledgements We would like to thank Lisa Wells and Kurt Jensen for their support in using CPN Tools. Also, we would like to thank Michael Westergaard for his support in using the BRITnEY tool.  ... 
doi:10.7146/dpb.v36i584.7197 fatcat:fmzu5qetpnd6dpflqsuggbt7mm

Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 24-26, 2006

Kurt Jensen
2006 DAIMI Report Series  
The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop06  ...  This booklet contains the proceedings of the Seventh Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 24-26, 2006.  ...  This research was supported in part by the Air Force Materiel Command (AFMC), Electronic Systems Group (ESG) under contract number FA8726-05-C-0008 .  ... 
doi:10.7146/dpb.v35i579.7322 fatcat:a7bsrdbwkfhvhmd2regosteude

Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 24-26, 2005

Kurt Jensen
2005 DAIMI Report Series  
The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop05  ...  This booklet contains the proceedings of the Sixth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 24-26, 2005.  ...  We appreciate the help Kurt gave in the early stages of the research presented in this paper and we are grateful that Lisa let us use the monitors.  ... 
doi:10.7146/dpb.v34i576.7198 fatcat:h6crytun4jh3fbj24stfbsvx2m

Solution and Optimization of Systems of Pseudo-Boolean Constraints

Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov
2007 IEEE transactions on computers  
Another aspect of our comparison is the evaluation on 0-1 ILP benchmarks that originate in Electronic Design Automation (EDA) but that cannot be directly solved by an SAT solver.  ...  Optimized solvers for the Boolean Satisfiability (SAT) problem have many applications in areas such as hardware and software verification, FPGA routing, planning, and so forth.  ...  a wide range of application domains and, particularly, in electronic design automation (EDA).  ... 
doi:10.1109/tc.2007.1075 fatcat:gdw3r3ocwzafrhi7lx2gk6gqsq

A Boolean Rule-Based Approach for Manufacturability-Aware Cell Routing

Jordi Cortadella, Jordi Petit, Sergio Gomez, Francesc Moll
2014 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
The core contribution is a detailed-routing algorithm based on a Boolean formulation of the problem.  ...  The algorithm uses a novel encoding scheme, graph theory to support floating terminals, efficient heuristics to reduce the computational cost, and minimization of the number of unconnected pins in case  ...  Different algorithms for design automation were proposed to synthesize a small subset of cells.  ... 
doi:10.1109/tcad.2013.2292514 fatcat:j7cfml6zx5fxpffd362ykr5svy

Logic Synthesis [chapter]

2017 Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology  
., A tutorial introduction to the electronic design interchange format, Proceedings of the 23rd Conference on Design Automation, Las Vegas, NV, June 1986.  ...  Applications of Boolean Decision Diagrams [9] enabled e cient Boolean reasoning on signi cantly larger logic partitions. Much progress was made in implementing partitioning algorithms.  ... 
doi:10.1201/9781315215112-13 fatcat:me52zpnxyfcczh3choo2p4zulm

Utilization of Eight-Variable Karnaugh Maps in the Exploration of Problems of Qualitative Comparative Analysis

Ali Muhammad Ali Rushdi, Raid Salih Badawi
2021 Asian Journal of Research in Computer Science  
Our map techniques and results are hopefully of significant utility in future QCA applications.  ...  For these two sets, the pertinent function is still a partially-defined Boolean function (PDBF), equivalent to 210 = 1024 completely-specified Boolean functions (CSBFs) in the first case, and to four CSBFs  ...  On 'Big' boolean-equation solving and its utility in combinatorial digital design. Chapter 3 in Advances in Applied Science and Technology. 2019;2:25-48. 98. Badawi RM.  ... 
doi:10.9734/ajrcos/2021/v8i230199 fatcat:4eiqiqxurnc7nmtgibleitubri

Reports of the 2016 AAAI Workshop Program

Stefano Albrecht, Bruno Bouchard, John S. Brownstein, David L. Buckeridge, Cornelia Caragea, Kevin M. Carter, Adnan Darwiche, Blaz Fortuna, Yannick Francillette, Sébastien Gaboury, C. Lee Giles, Marko Grobelnik (+23 others)
2016 The AI Magazine  
Programming (WS-16-07), Expanding the Boundaries of Health Informatics Using AI (WS-16-08), Incentives and Trust in Electronic Communities (WS-16-09), Knowledge Extraction from Text (WS-16-10), Multiagent  ...  , and World Wide Web and Population Health Intelligence (WS-16-15).  ...  The workshop participants discussed the importance of designing an incentive-enabled system in electronic communities to foster honest participation among community members and how the workshop was useful  ... 
doi:10.1609/aimag.v37i3.2680 fatcat:gutumrsprzg2vngp77hezwyuz4

[Front matter]

2020 2020 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)  
Gather offers proximity video chat in 2D interactive spaces and allows attendees to walk in and out of conversations as naturally as at a real conference.  ...  Past and potential TPC members outline their top ten topics of expertise in hardware and systems security.  ...  for ACM Transactions for Design Automation of Electronic Systems (TODAES).  ... 
doi:10.1109/host45689.2020.9300269 fatcat:nruhx3qym5evvpk3bbki7pvfdq

TECHNOLOGIES IMPROVING FOR KNOWLEDGE AND SKILLS ASSESSING OF STUDENTS OF PHYSICAL AND MATHEMATICAL SPECIALTIES IN E-LEARNING

Наталія Пилипівна Тмєнова, Богдан Богданович Сусь
2020 Ìnformacìjnì Tehnologì ì Zasobi Navčannâ  
It is proposed to use expert systems in the designing of laboratory works and tests.  ...  In addition, the application and advantages of expert systems in open education to improve the teaching-learning process are discussed.  ...  Learning Management Systems, electronic tutorials and electronic laboratories greatly facilitate the process of obtaining knowledge.  ... 
doi:10.33407/itlt.v78i4.2818 fatcat:6xqe2xn7kjfhxpnefpmokklc7e

Signal Processing and Optimization Tools for Conference Review and Session Assignment

Nicholas D Sidiropoulos, Efthymios Tsakonas
2015 IEEE Signal Processing Magazine  
reviewers are rarely satisfied with the end results.  ...  This article presents signal processing tools for two critical "mass assignment" tasks: assigning papers (or proposals) to reviewers in a way that matches reviewing expertise to scientific content while  ...  His research interests are in convex optimization and approximation theory and algorithms, with applications in signal processing, communications, and preference measurement.  ... 
doi:10.1109/msp.2014.2359230 fatcat:uojdd2dl7bhgvk4m7hxijuaisa

Hyper-heuristics: a survey of the state of the art

Edmund K Burke, Michel Gendreau, Matthew Hyde, Graham Kendall, Gabriela Ochoa, Ender Özcan, Rong Qu
2013 Journal of the Operational Research Society  
Hyper-heuristics comprise a set of approaches that are motivated (at least in part) by the goal of automating the design of heuristic methods to solve hard computational search problems.  ...  However, the idea of automating the design of heuristics is not new; it can be traced back to the 1960s.  ...  Boolean satisfiability (SAT) Fukunaga presents 'CLASS' (Composite Learned Algorithms for SAT Search), an automated heuristic discovery system for the SAT problem.  ... 
doi:10.1057/jors.2013.71 fatcat:wgusktpk4fau3lg22smrby4k4y
« Previous Showing results 1 — 15 out of 389 results