About: Abacus: A New Hybrid Encoding for SAT Problems

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Abacus: A New Hybrid Encoding for SAT Problems Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : data.idref.fr associated with source document(s)

Attributes	Values
Author	Lardeux, Frédéric (1957-....) Barichard, Vincent (19..-....) Vasconcellos Gaete, Cláudia Andréa (1984-....)
Bibliographic Citation	Vasconcellos-Gaete Claudia, Barichard Vincent, Lardeux Frédéric . Abacus: A New Hybrid Encoding for SAT Problems . 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2020, Baltimore, United States . pp.145-152, ⟨10.1109/ICTAI50040.2020.00033⟩
Title	Abacus: A New Hybrid Encoding for SAT Problems
dc:date	2020
Digital Object Identifier (DOI)	10.1109/ICTAI50040.2020.00033

Faceted Search & Find service v1.13.91 as of Aug 16 2018

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software