Search results for "solver"

Hits ?▲	Authors	Title	Venue	Year	Link
10	Yongfei Wang, Jianxin Liu, Rongwen Guo, Kejia Pan, Gangqiang Yang, Jian Li 0046, Xiaokang Deng, Wei Xue	A Robust and Scalable Multigrid Solver for 3-D Low-Frequency Electromagnetic Diffusion Problems.	IEEE Trans. Geosci. Remote. Sens.	2024	DBLP DOI BibTeX RDF
10	Oscar P. Bruno, Ambuj Pandey	Direct/Iterative Hybrid Solver for Scattering by Inhomogeneous Media.	SIAM J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
10	Angelo Casulli, Leonardo Robol	An Efficient Block Rational Krylov Solver for Sylvester Equations with Adaptive Pole Selection.	SIAM J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
10	David L. Green, Xiaozhe Hu, Jeremy Lore, Lin Mu, Mark L. Stowell	An Efficient High-Order Solver for Diffusion Equations with Strong Anisotropy on Non-Anisotropy-Aligned Meshes.	SIAM J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
10	José Pablo Lucero Lorca, Natalie Beams, Damien Beecroft, Adrianna Gillman	An Iterative Solver for the HPS Discretization Applied to Three Dimensional Helmholtz Problems.	SIAM J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
10	Mario Daniele Fiore, Ciro Natale	On the Convergence of a Closed-Loop Inverse Kinematics Solver With Time-Varying Task Functions.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
10	Hau T. Mai, Dai D. Mai, Joowon Kang, Jaewook Lee, Jaehong Lee	Physics-informed neural energy-force network: a unified solver-free numerical simulation for structural optimization.	Eng. Comput.	2024	DBLP DOI BibTeX RDF
10	Xinhai Chen, Tiejun Li, Yunbo Wan, Yuechao Liang, Chunye Gong, Yufei Pang, Jie Liu 0002	Developing an advanced neural network and physics solver coupled framework for accelerating flow field simulations.	Eng. Comput.	2024	DBLP DOI BibTeX RDF
10	Sho Wada, Reo Kai, Ryoichi Kurose	A new semi-implicit pressure-based solver considering real gas effect.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
10	Robert A. M. van Gestel, Martijn Anthonissen, Jan H. M. ten Thije Boonkkamp, Wilbert L. IJzerman	A hybrid semi-Lagrangian DG and ADER-DG solver on a moving mesh for Liouville's equation of geometrical optics.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
10	Marie Bibal, M. Deferrez, Sébastien Tanguy, Annafederica Urbano	A compressible solver for two phase-flows with phase change for bubble cavitation.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
10	Mária Lukácová-Medvid'ová, Ilya Peshkov, Andrea Thomann	An implicit-explicit solver for a two-fluid single-temperature model.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
10	Jiang Yu Nguwi, Guillaume Penent, Nicolas Privault	A deep branching solver for fully nonlinear partial differential equations.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
10	Rémi Bourgeois, Pascal Tremblin, Samuel Kokh, Thomas Padioleau	Recasting an operator splitting solver into a standard finite volume flux-based algorithm. The case of a Lagrange-projection-type method for gas dynamics.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
10	Jacob M. Turner, Jung Hee Seo, Rajat Mittal 0002	A high-order sharp-interface immersed boundary solver for high-speed flows.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
10	Awanish Kumar Tiwari, Ambuj Pandey, Akash Anand	A fast, rapidly convergent Nyström solver for electromagnetic scattering from orthotropic media.	Comput. Math. Appl.	2024	DBLP DOI BibTeX RDF
10	Zhe Dai, Liang Deng, Yonggang Che, Ming Li, Jian Zhang, Yueqing Wang	Evaluating performance portability of five shared-memory programming models using a high-order unstructured CFD solver.	J. Parallel Distributed Comput.	2024	DBLP DOI BibTeX RDF
10	Samiran Kawtikwar, Rakesh Nagi	HyLAC: Hybrid linear assignment solver in CUDA.	J. Parallel Distributed Comput.	2024	DBLP DOI BibTeX RDF
10	Zezeng Li, Shenghao Li, Lianbao Jin, Na Lei, Zhongxuan Luo	OT-net: a reusable neural optimal transport solver.	Mach. Learn.	2024	DBLP DOI BibTeX RDF
10	Damyn Chipman	EllipticForest: A Direct Solver Library for Elliptic Partial Differential Equations on Adaptive Meshes.	J. Open Source Softw.	2024	DBLP DOI BibTeX RDF
10	Marc Hirschvogel	Ambit - A FEniCS-based cardiovascular multi-physics solver.	J. Open Source Softw.	2024	DBLP DOI BibTeX RDF
10	Dexiu Ma, Mei Liu, Mingsheng Shang 0001	Neural dynamics solver for time-dependent infinity-norm optimization based on ACP framework with robot application.	Neurocomputing	2024	DBLP DOI BibTeX RDF
10	Chunlei Li, Yang Gao 0032, Jiayi He, Tianwei Cheng, Shuai Li 0001, Aimin Hao, Hong Qin 0001	A Unified Particle-Based Solver for Non-Newtonian Behaviors Simulation.	IEEE Trans. Vis. Comput. Graph.	2024	DBLP DOI BibTeX RDF
10	Siya Bao, Masashi Tawada, Shu Tanaka, Nozomu Togawa	An Ising-Machine-Based Solver of Vehicle Routing Problem With Balanced Pick-Up.	IEEE Trans. Consumer Electron.	2024	DBLP DOI BibTeX RDF
10	Gerasimos Ntoukas, Gonzalo Rubio, Oscar A. Mariño, Alexandra Liosi, Francesco Bottone, Julien Hoessler, Esteban Ferrer	A comparative study of explicit and implicit Large Eddy Simulations using a high-order discontinuous Galerkin solver: application to a Formula 1 front wing.	CoRR	2024	DBLP DOI BibTeX RDF
10	Runze Guo, Feng Xue, Anlong Ming, Nicu Sebe	An Efficient Learning-based Solver Comparable to Metaheuristics for the Capacitated Arc Routing Problem.	CoRR	2024	DBLP DOI BibTeX RDF
10	Zirui Mao, G. R. Liu, Michael J. Demkowicz	An Efficient Finite Difference-based Implicit Solver for Phase-Field Equations with Spatially and Temporally Varying Parameters.	CoRR	2024	DBLP DOI BibTeX RDF
10	Jilang Miao, Miaomiao Jin	Developing an Analytical Fixed Source Solver for the 1D Multigroup SN Equations.	CoRR	2024	DBLP DOI BibTeX RDF
10	Sanath Salil, Nischay Ram Mamidi, Anil Nemili, Elliott Slaughter	Regent based parallel meshfree LSKUM solver for heterogenous HPC platforms.	CoRR	2024	DBLP DOI BibTeX RDF
10	Jingyi Fu, Min Tang	A fast offline/online forward solver for stationary transport equation with multiple inflow boundary conditions and varying coefficients.	CoRR	2024	DBLP DOI BibTeX RDF
10	Yury Zabegaev, Eirik Keilegavlen, Einar Iversen, Inga Berre	Automated solver selection for simulation of multiphysics processes in porous media.	CoRR	2024	DBLP DOI BibTeX RDF
10	Michelle Chalupnik, Anshuman Singh, James Leatham, Marko Loncar, Moe Soltani	Nanophotonic Phased Array XY Hamiltonian Solver.	CoRR	2024	DBLP DOI BibTeX RDF
10	Zhenyu Pan, Ammar Gilani, En-Jui Kuo, Zhuo Liu	CoRMF: Criticality-Ordered Recurrent Mean Field Ising Solver.	CoRR	2024	DBLP DOI BibTeX RDF
10	Guillermo Aparicio-Estrems, Abel Gargallo-Peiró, Xevi Roca	A globalized and preconditioned Newton-CG solver for metric-aware curved high-order mesh optimization.	CoRR	2024	DBLP DOI BibTeX RDF
10	Helen Schottenhamml, Ani Anciaux-Sedrakian, Frédéric Blondel, Harald Köstler, Ulrich Rüde	waLBerla-wind: a lattice-Boltzmann-based high-performance flow solver for wind energy applications.	CoRR	2024	DBLP DOI BibTeX RDF
10	W. Liu, C. Shu, Z. J. Liu	Explicit form of simplified Grad's 13 moments distribution function-based moment gas kinetic solver with unstructured meshes for the multiscale rarefied flow.	CoRR	2024	DBLP DOI BibTeX RDF
10	Liangting Wu, Roberto Tron	IKSPARK: An Inverse Kinematics Solver using Semidefinite Relaxation and Rank Minimization.	CoRR	2024	DBLP DOI BibTeX RDF
10	Mohammed Alromema, Mohammed A. Makarem	Enhancing Evolutionary Solver Efficiency for NP Hard Single Machine Scheduling Problems.	CoRR	2024	DBLP DOI BibTeX RDF
10	Damyn Chipman, Donna A. Calhoun, Carsten Burstedde	A Fast Direct Solver for Elliptic PDEs on a Hierarchy of Adaptively Refined Quadtrees.	CoRR	2024	DBLP DOI BibTeX RDF
10	Hwi Lee, Zhen Chao, Harris Cobb, Yingjie Liu, Dexuan Xie	A PNP ion channel deep learning solver with local neural network and finite element input data.	CoRR	2024	DBLP DOI BibTeX RDF
10	Vorapong Suppakitpaisarn, Jin-Kao Hao	Utilizing Graph Sparsification for Pre-processing in Maxcut QUBO Solver.	CoRR	2024	DBLP DOI BibTeX RDF
10	Chenghao Huang, Yanbo Cao, Yinlong Wen, Tao Zhou, Yanru Zhang	PokerGPT: An End-to-End Lightweight Solver for Multi-Player Texas Hold'em via Large Language Model.	CoRR	2024	DBLP DOI BibTeX RDF
10	Yu Zhang, Hui-Ling Zhen, Zehua Pei, Yingzhao Lian, Lihao Yin, Mingxuan Yuan, Bei Yu 0001	SoLA: Solver-Layer Adaption of LLM for Better Logic Reasoning.	CoRR	2024	DBLP DOI BibTeX RDF
10	Amanda E. Diegel, Cheng Wang 0015, Steven M. Wise	Convergence Analysis of a Preconditioned Steepest Descent Solver for the Cahn-Hilliard Equation with Logarithmic Potential.	CoRR	2024	DBLP DOI BibTeX RDF
10	Juan A. Acebrón, Ángel Rodríguez-Rozas	A new parallel solver suited for arbitrary semilinear parabolic partial differential equations based on generalized random trees.	CoRR	2024	DBLP DOI BibTeX RDF
10	Ling Gao, Daniel Gehrig, Hang Su, Davide Scaramuzza 0001, Laurent Kneip	An N-Point Linear Solver for Line and Motion Estimation with Event Cameras.	CoRR	2024	DBLP DOI BibTeX RDF
10	Zih-Syuan Huang, Ching-pei Lee	Regularized Adaptive Momentum Dual Averaging with an Efficient Inexact Subproblem Solver for Training Structured Neural Network.	CoRR	2024	DBLP DOI BibTeX RDF
10	Francisco Holguin, GS Sidharth, Gavin Portwood	Accelerating multigrid solver with generative super-resolution.	CoRR	2024	DBLP DOI BibTeX RDF
10	Piyush Jha, Zhengyu Li 0002, Zhengyang Lu, Curtis Bright, Vijay Ganesh	AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems.	CoRR	2024	DBLP DOI BibTeX RDF
10	Teng-Hui Huang, Hesham El Gamal	An Efficient Difference-of-Convex Solver for Privacy Funnel.	CoRR	2024	DBLP DOI BibTeX RDF
10	Xijun Li, Fangzhou Zhu, Hui-Ling Zhen, Weilin Luo, Meng Lu, Yimin Huang, Zhenan Fan, Zirui Zhou, Yufei Kuang, Zhihai Wang, Zijie Geng, Yang Li, Haoyang Liu, Zhiwu An, Muming Yang, Jianshu Li, Jie Wang, Junchi Yan, Defeng Sun, Tao Zhong, Yong Zhang 0004, Jia Zeng, Mingxuan Yuan, Jianye Hao, Jun Yao, Kun Mao	Machine Learning Insides OptVerse AI Solver: Design Principles and Applications.	CoRR	2024	DBLP DOI BibTeX RDF
10	Jiaxin Zhang 0024, Yinghui Jiang, Yashar Moshfeghi	GAPS: Geometry-Aware Problem Solver.	CoRR	2024	DBLP DOI BibTeX RDF
10	Rahul Sundar, Dipanjan Majumdar, Chhote Lal Shah, Sunetra Sarkar	Massive parallelization and performance enhancement of an immersed boundary method based unsteady flow solver.	CoRR	2024	DBLP DOI BibTeX RDF
10	Maximilian Brunner, Dirk Praetorius, Julian Streitberger	Cost-optimal adaptive FEM with linearization and algebraic solver for semilinear elliptic PDEs.	CoRR	2024	DBLP DOI BibTeX RDF
10	Clément Vella, Pierre Gosselet, Serge Prudhomme	An Efficient PGD Solver for Structural Dynamics Applications.	CoRR	2024	DBLP DOI BibTeX RDF
10	Haixu Wu, Huakun Luo, Haowen Wang, Jianmin Wang, Mingsheng Long	Transolver: A Fast Transformer Solver for PDEs on General Geometries.	CoRR	2024	DBLP DOI BibTeX RDF
10	Niels A. Wouda, Leon Lan, Wouter Kool 0001	PyVRP: a high-performance VRP solver package.	CoRR	2024	DBLP DOI BibTeX RDF
10	Han Fang, Zhihao Song, Paul Weng, Yutong Ban	INViT: A Generalizable Routing Problem Solver with Invariant Nested View Transformer.	CoRR	2024	DBLP DOI BibTeX RDF
10	Lothar Nannen, Markus Wess	A Krylov Eigenvalue Solver Based on Filtered Time Domain Solutions.	CoRR	2024	DBLP DOI BibTeX RDF
10	Yiming He, Jia Zou 0004, Xiaokai Zhang, Na Zhu, Tuo Leng	FGeo-TP: A Language Model-Enhanced Solver for Geometry Problems.	CoRR	2024	DBLP DOI BibTeX RDF
10	Zijie Li, Saurabh Patil, Francis Ogoke, Dule Shu, Wilson Zhen, Michael Schneier, John R. Buchanan Jr., Amir Barati Farimani	Latent Neural PDE Solver: a reduced-order modelling framework for partial differential equations.	CoRR	2024	DBLP DOI BibTeX RDF
10	Yang Wang, Ya-Hui Jia, Wei-Neng Chen, Yi Mei 0001	Distance-aware Attention Reshaping: Enhance Generalization of Neural Solver for Large-scale Vehicle Routing Problems.	CoRR	2024	DBLP DOI BibTeX RDF
10	Alexandre Pannier, Cristopher Salvi	A path-dependent PDE solver based on signature kernels.	CoRR	2024	DBLP DOI BibTeX RDF
10	Luis Piloto, Sofia Liguori, Sephora Madjiheurem, Miha Zgubic, Sean Lovett, Hamish Tomlinson, Sophie Elster, Chris Apps, Sims Witherspoon	CANOS: A Fast and Scalable Neural AC-OPF Solver Robust To N-1 Perturbations.	CoRR	2024	DBLP DOI BibTeX RDF
10	Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt	NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis.	CoRR	2024	DBLP DOI BibTeX RDF
10	Thomas Hader, Daniela Kaufmann, Ahmed Irfan, Stéphane Graham-Lengrand, Laura Kovács	MCSat-based Finite Field Reasoning in the Yices2 SMT Solver.	CoRR	2024	DBLP DOI BibTeX RDF
10	Feiping Nie 0001, Jitao Lu, Danyang Wu, Rong Wang 0001, Xuelong Li 0001	A Novel Normalized-Cut Solver With Nearest Neighbor Hierarchical Initialization.	IEEE Trans. Pattern Anal. Mach. Intell.	2024	DBLP DOI BibTeX RDF
10	Sébastien Riffaud, Miguel A. Fernández, Damiano Lombardi	A Low-Rank Solver for Parameter Estimation and Uncertainty Quantification in Time-Dependent Systems of Partial Differential Equations.	J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
10	Boyang Yu, Yonghai Li, Jiangguo Liu	A Positivity-Preserving and Robust Fast Solver for Time-Fractional Convection-Diffusion Problems.	J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
10	Alexandra Baumgart, Samuel W. Jones, Philipp V. F. Edelmann, Joshua C. Dolence	A Shock Stabilization of the HLLC Riemann Solver for the Carbuncle Instability.	J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
10	Xing-Long Lyu, Heng Tian, Tiexiang Li, Wen-Wei Lin	Fast SVD-Based Linear Elastic Eigenvalue Problem Solver for Band Structures of 3D Phononic Crystals.	J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
10	Stefan Langer, R. C. Swanson	Implementation, Realization and an Effective Solver of Two-Equation Turbulence Models.	J. Sci. Comput.	2024	DBLP DOI BibTeX RDF
10	Suresh Kumar, P. Sreenivasa Kumar 0001	KLAUS-Tr: Knowledge & learning-based unit focused arithmetic word problem solver for transfer cases.	Nat. Lang. Eng.	2024	DBLP DOI BibTeX RDF
10	Tianye Niu, Lei Xu, Qing Ren, Yajuan Gao, Chen Luo, Ze Teng, Jichen Du, Mingchao Ding, Jiayi Xie, Hongbin Han, Yin Jiang	UBES: Unified scatter correction using ultrafast Boltzmann equation solver for conebeam CT.	Comput. Biol. Medicine	2024	DBLP DOI BibTeX RDF
10	Da Lin, Chunli Yang, Shengyuan Xu, Shizhu Tian, Bing Sun	On the construction of quantum circuits for S-boxes with different criteria based on the SAT solver.	IACR Cryptol. ePrint Arch.	2024	DBLP BibTeX RDF
10	Beibei Zhou, Yiming Tu, Zhong Jin, Cheng-Zhong Xu 0001, Hui Kong 0001	HPPLO-Net: Unsupervised LiDAR Odometry Using a Hierarchical Point-to-Plane Solver.	IEEE Trans. Intell. Veh.	2024	DBLP DOI BibTeX RDF
10	Guillermo Aparicio-Estrems, Abel Gargallo-Peiró, Xevi Roca	A Globalized and Preconditioned Newton-CG Solver for Metric-Aware Curved High-Order Mesh Optimization.	Comput. Aided Des.	2024	DBLP DOI BibTeX RDF
10	Eric Ngondiep	A posteriori error estimate of MacCormack rapid solver method for two-dimensional incompressible Navier-Stokes problems.	J. Comput. Appl. Math.	2024	DBLP DOI BibTeX RDF
10	Naren Vohra, Malgorzata Peszynska	Robust conservative scheme and nonlinear solver for phase transitions in heterogeneous permafrost.	J. Comput. Appl. Math.	2024	DBLP DOI BibTeX RDF
10	Kaixin Gao, Zheng-Hai Huang, Lulu Guo	Low-rank matrix recovery problem minimizing a new ratio of two norms approximating the rank function then using an ADMM-type solver with applications.	J. Comput. Appl. Math.	2024	DBLP DOI BibTeX RDF
10	Hao Luo, Qianli Zhou, Zhen Li, Yong Deng 0001	Variational Quantum Linear Solver-based Combination Rules in Dempster-Shafer Theory.	Inf. Fusion	2024	DBLP DOI BibTeX RDF
10	David Mojzísek, Jan Hula	Efficient Solver Scheduling and Selection for Satisfiability Modulo Theories (SMT) Problems.	ICPRAM	2024	DBLP DOI BibTeX RDF
10	Zifan He, Linghao Song, Robert F. Lucas, Jason Cong	LevelST: Stream-based Accelerator for Sparse Triangular Solver.	FPGA	2024	DBLP DOI BibTeX RDF
10	Haofeng Li, Jie Lu 0009, Haining Meng, Liqing Cao, Lian Li 0002, Lin Gao 0002	Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations.	CGO	2024	DBLP DOI BibTeX RDF
10	Ryan E. Dougherty	Alphabear Partial Solver.	SIGCSE (2)	2024	DBLP DOI BibTeX RDF
10	Yan Gao, Haojun Xu, Jie Li, Nannan Wang 0001, Xinbo Gao 0001	Multi-Scene Generalized Trajectory Global Graph Solver with Composite Nodes for Multiple Object Tracking.	AAAI	2024	DBLP DOI BibTeX RDF
10	Amar Shah, Federico Mora, Sanjit A. Seshia	An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes.	AAAI	2024	DBLP DOI BibTeX RDF
10	Zhengyu Li 0002, Curtis Bright, Vijay Ganesh	A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract).	AAAI	2024	DBLP DOI BibTeX RDF
10	Marcus Hörger, Hanna Kurniawati, Dirk P. Kroese, Nan Ye	A Surprisingly Simple Continuous-Action POMDP Solver: Lazy Cross-Entropy Search Over Policy Trees.	AAAI	2024	DBLP DOI BibTeX RDF
10	Lu Liu, Mingyu Xiao 0001, Yi Zhou 0016	A Fast Exact Solver with Theoretical Analysis for the Maximum Edge-Weighted Clique Problem.	AAAI	2024	DBLP DOI BibTeX RDF
10	Huabin Yang, Zhongjian Zhang, Yan Wang, Deyu Guan, Kangshuai Guo, Yu Chang, Yanru Zhang	A U-Shaped Spatio-Temporal Transformer as Solver for Motion Capture.	CVM (1)	2024	DBLP DOI BibTeX RDF
10	Wonjung Park, Hyunsoo Kim, Jinah Park	Data-Driven Viscosity Solver for Fluid Simulation.	VISIGRAPP (1): GRAPP, HUCAPP, IVAPP	2024	DBLP DOI BibTeX RDF
10	Chaim Schendowich, Eyal Ben Isaac, Rina Azoulay	Multiverse: A Deep Learning 4X4 Sudoku Solver.	ICAART (3)	2024	DBLP DOI BibTeX RDF
10	Chaeyun Shim, Jooyoung Bae, Bongjin Kim	30.3 VIP-Sat: A Boolean Satisfiability Solver Featuring 5×12 Variable In-Memory Processing Elements with 98% Solvability for 50-Variables 218-Clauses 3-SAT Problems.	ISSCC	2024	DBLP DOI BibTeX RDF
10	Samuel D. Spetalnick, Ashwin Sanjay Lele, Brian Crafton, Muya Chang, Sigang Ryu, Jong-Hyeok Yoon, Zhijian Hao, Azadeh Ansari, Win-San Khwa, Yu-Der Chih, Meng-Fan Chang, Arijit Raychowdhury	30.1 A 40nm VLIW Edge Accelerator with 5MB of 0.256pJ/b RRAM and a Localization Solver for Bristle Robot Surveillance.	ISSCC	2024	DBLP DOI BibTeX RDF
10	Shang-Wei Lin 0001, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán, Yon Shin Teo	A Parallel and Distributed Quantum SAT Solver Based on Entanglement and Teleportation.	TACAS (2)	2024	DBLP DOI BibTeX RDF
10	Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt	NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis.	TACAS (3)	2024	DBLP DOI BibTeX RDF
10	Yu-Fang Chen 0001, David Chocholatý, Vojtech Havlena, Lukás Holík, Ondrej Lengál, Juraj Síc	Z3-Noodler: An Automata-based String Solver.	TACAS (1)	2024	DBLP DOI BibTeX RDF
10	Jingzhi Zhang, Xudong Li, Linghui Sun, Chengjie Bai	DPM-Det: Diffusion Model Object Detection Based on DPM-Solver++ Guided Sampling.	MMM (2)	2024	DBLP DOI BibTeX RDF
10	Fatemeh Shirinzadeh, Arighna Deb, Saeideh Shirinzadeh, Abhoy Kole, Kamalika Datta, Rolf Drechsler	In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures.	VLSID	2024	DBLP DOI BibTeX RDF