Results 181 to 188 of about 13,307 (188)
Some of the next articles are maybe not open access.
Satisfiability modulo theory based methodology for floorplanning in VLSI circuits
2016Suchandra Banerjee, Suchismita Roy
exaly
Rewriting Modulo SMT and Open System Analysis
Lecture Notes in Computer Science, 2014Camilo Rocha +2 more
exaly
2-loop free energy of M2 brane in AdS7 × S4 and surface defect anomaly in (2,0) theory
Journal of High Energy PhysicsM. Beccaria, S. Kurlyand, A. Tseytlin
semanticscholar +1 more source
Bit-Width Allocation for Hardware Accelerators for Scientific Computing Using SAT-Modulo Theory
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2010Nicola Nicolici
exaly
Application Dependent Testing of FPGA Interconnect Using Satisfiability Modulo Theory
2018Shukla Banik
exaly
Control design of discrete-time unicycle model using satisfiability modulo theory
Systems Science and Control EngineeringDieky Adzkiya +2 more
exaly