Set-Based SAT-solving

Facta universitatis - series: Electronics and Energetics

doi 10.2298/fuee0703395s

Full Text

Abstract

Available in

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

Challenges in Answer Set Solving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

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

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

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

2007English

Specification-Based Program Repair Using SAT

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Solving Bilevel Problems With Polyhedral Constraint Set

Journal of Applied and Numerical Optimization
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy