Set-Based SAT-solving

Facta universitatis - series: Electronics and Energetics
doi 10.2298/fuee0703395s
Full Text
Abstract

Available in full text

Date
Authors
Publisher

National Library of Serbia

Related search

Efficient SAT Solving: Beyond Supercubes

2005English

Asynchronous Multi-Core Incremental SAT Solving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Solving the SAT Problem Using Genetic Algorithm

Advances in Science, Technology and Engineering Systems
EngineeringAstronomyPhysicsManagement of TechnologyInnovation
2017English

Solving the Set Equilibrium Problems

Fixed Point Theory and Applications
GeometryApplied MathematicsTopology
2011English

SAT-solving Approaches to Context-Aware Enterprise Network Security Management

IEEE Journal on Selected Areas in Communications
Computer NetworksElectronic EngineeringElectricalCommunications
2009English

Challenges in Answer Set Solving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets

2007English

Speeding Up Lazy-Grounding Answer Set Solving

EasyChair Preprints
2018English

Specification-Based Program Repair Using SAT

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy